11/13: gnu: ocaml-dose3: Migrate from gforce.inria.fr.

[guix-commits]

apteryx pushed a commit to branch master
in repository guix.

commit 1390e38264568380a37ff57187b49da4e34ad19a
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Sun Oct 2 22:25:06 2022 -0400

    gnu: ocaml-dose3: Migrate from gforce.inria.fr.
    
    * gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from 
inill's gitlab
    instance.
---
 gnu/packages/ocaml.scm | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 12d7a83836..01bbbe1831 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -648,11 +648,14 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, 
CbC, SCIP or WBO.")
     (name "ocaml-dose3")
     (version "5.0.1")
     (source (origin
-              (method url-fetch)
-              (uri 
"https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz";)
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://gitlab.com/irill/dose3";)
+                    (commit version)))
+              (file-name (git-file-name name version))
               (sha256
                (base32
-                "00yvyfm4j423zqndvgc1ycnmiffaa2l9ab40cyg23pf51qmzk2jm"))
+                "0dxkw37gj8z45kd0dnrlfgpj8yycq0dphs8kjm9kvq9xc8rikxp3"))
               (patches
                (search-patches
                 "ocaml-dose3-add-unix-dependency.patch"