diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-10-02 22:25:06 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-10-03 11:16:15 -0400 |
| commit | 1390e38264568380a37ff57187b49da4e34ad19a (patch) | |
| tree | f9562824c4b06d8dd13129261e8e55a3f3b03d18 /gnu/packages | |
| parent | a93781b83cfc83cdd74c11bf4931cca4002c2048 (diff) | |
| download | guix-1390e38264568380a37ff57187b49da4e34ad19a.tar.gz | |
gnu: ocaml-dose3: Migrate from gforce.inria.fr.
* gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from inill's gitlab instance.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/ocaml.scm | 9 |
1 files 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" |