diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-22 15:17:11 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-23 11:32:15 +0100 |
| commit | dd8237b6c3012b8576e19631a4c11484d0ee9cfa (patch) | |
| tree | eaab31ae7a36379d8277b2039b5bb85c92c20fb7 | |
| parent | 77f2ced1a68edf3c676dcc1b81f856cae072b163 (diff) | |
| download | patches-dd8237b6c3012b8576e19631a4c11484d0ee9cfa.tar patches-dd8237b6c3012b8576e19631a4c11484d0ee9cfa.tar.gz | |
gnu: coq-flocq: Use predictable source URI.
* gnu/packages/ocaml.scm (coq-flocq)[source]: Use predictable URI.
| -rw-r--r-- | gnu/packages/ocaml.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a831036fa3..00d1d1c56a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3871,8 +3871,9 @@ cross-platform SDL C library.") (version "2.6.0") (source (origin (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/file" - "/37054/flocq-" version ".tar.gz")) + ;; Use the ‘Latest version’ link for a stable URI across releases. + (uri (string-append "https://gforge.inria.fr/frs/download.php/" + "latestfile/2228/flocq-" version ".tar.gz")) (sha256 (base32 "13fv150dcwnjrk00d7zj2c5x9jwmxgrq0ay440gkr730l8mvk3l3")))) |