diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 17:12:18 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 19:27:02 +0100 |
| commit | 698e5c38b44dad82b90c744b387486dec98e413f (patch) | |
| tree | b181672a2cd9ba3e76f3a8e8496d8929a97a653f /gnu/packages/coq.scm | |
| parent | 67fbcd437c9906f52b5311058b1c6b48e4c94d02 (diff) | |
gnu: coq-mathcomp: Update to 1.13.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index c31a1227cc..e88f2e6e29 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -303,7 +303,7 @@ assistant.") (define-public coq-mathcomp (package (name "coq-mathcomp") - (version "1.12.0") + (version "1.13.0") (source (origin (method git-fetch) @@ -312,7 +312,7 @@ assistant.") (commit (string-append "mathcomp-" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "12cgrmzlcjnp9kv9zxsk34fgf0qfa35jdb23cbf13kmg8dyfi3h5")))) + (base32 "0aj8hsdzzds5w0p1858s2b6k9zssjcxa6kgpi0q1nvaml4zfpkcc")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) |