diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 17:32:02 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 19:27:05 +0100 |
| commit | 5bcf0101b295a2d5e3f227b2f122cdff45294e58 (patch) | |
| tree | db574ef7c1d839cfc79af0bc920d96fc97e4ddd3 /NEWS | |
| parent | 698e5c38b44dad82b90c744b387486dec98e413f (diff) | |
| download | guix-5bcf0101b295a2d5e3f227b2f122cdff45294e58.tar.gz | |
gnu: coq-coquelicot: Update to 3.2.0.
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions