diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 10:02:03 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 10:33:17 +0100 |
| commit | 74a1e5378ae5ef9e4520120446991914a59d4744 (patch) | |
| tree | 6be0202b48b8eda7913b38e3625d4e479b0eef97 /nix | |
| parent | 5179f4525d0859794b0d75ee1792d0f731d1f9c4 (diff) | |
| download | guix-patches-74a1e5378ae5ef9e4520120446991914a59d4744.tar guix-patches-74a1e5378ae5ef9e4520120446991914a59d4744.tar.gz | |
gnu: coq-mathcomp: Update to 1.14.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.14.0.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions