diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 16:52:29 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:19 +0200 |
| commit | 3ffd180cc5284f8ee3c61073593347fbb042fe58 (patch) | |
| tree | b9f3c9d0a00c34ee4157dd67e76ad927e8af4773 /gnu/packages/ocaml.scm | |
| parent | 2e331c9c43a6f0678967ff05383a189241fbf458 (diff) | |
| download | patches-3ffd180cc5284f8ee3c61073593347fbb042fe58.tar patches-3ffd180cc5284f8ee3c61073593347fbb042fe58.tar.gz | |
gnu: Update coq-coquelicot to 3.0.1.
* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index beb73a2d06..6cf92689ac 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3699,14 +3699,14 @@ part of the distribution.") (define-public coq-coquelicot (package (name "coq-coquelicot") - (version "3.0.0") + (version "3.0.1") (source (origin (method url-fetch) (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/36537/coquelicot-" version ".tar.gz")) + "file/37045/coquelicot-" version ".tar.gz")) (sha256 (base32 - "0fx99bvsbdizj00gx2im8939y4wwl05f4qhw184j90kcx5vjxxv9")))) + "0hsyhsy2lwqxxx2r8xgi5csmirss42lp9bkb9yy35mnya0w78c8r")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) |