Link to packaging tutorial for Coq until we import it in the Rocq web…

…site (#61).

src/rocqproverorg_frontend/pages/packages.eml

@@ -137,7 +137,7 @@ in
             <h2 class="font-bold text-2xl text-white dark:text-dark-title mb-2">Start Contributing</h2>
             <p class="text-xl text-white dark:text-dark-title mb-5">Learn how to publish your first Opam package today and make it available to the rest of the community.</p>
             <div class="flex max-w-[17rem]">
-              <%s! Hero_section.hero_button ~left_icon:(Icons.pencil_note "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Publish a Package") ~href:("https://opam.ocaml.org/doc/Packaging.html") "" %>
+              <%s! Hero_section.hero_button ~left_icon:(Icons.pencil_note "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Publish a Package") ~href:("https://coq.inria.fr/opam-packaging.html") "" %>
             </div>
         </div>
         <div class="hidden md:flex w-[18rem] h-[18rem] mr-16 py-8">