diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:37:01 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:41:44 +0200 |
| commit | 8aeef53497ac22682f0b341f2141cfd94ab790fd (patch) | |
| tree | 981fcef78b4279a22bbe084f69d7d22054e2f2da /tests/opam.scm | |
| parent | f5b0d90490a19ff0f62c84529b6b3546e6de5a18 (diff) | |
| download | patches-8aeef53497ac22682f0b341f2141cfd94ab790fd.tar patches-8aeef53497ac22682f0b341f2141cfd94ab790fd.tar.gz | |
gnu: coq-bignums: Update to 8.9.0.
* gnu/packages/coq.scm (coq-bignums): Update to 8.9.0.
Diffstat (limited to 'tests/opam.scm')
0 files changed, 0 insertions, 0 deletions