diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 08:43:25 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 10:32:24 +0100 |
| commit | 8a338de2766588f3efffd2ee608c85ff7f6877a3 (patch) | |
| tree | 676cc2ed94d005dbe1525bc3307611f1a0ffa0cd /gnu/bootloader | |
| parent | e32ea56f05a06d0e67e9099bf25bf919dabc1423 (diff) | |
| download | guix-8a338de2766588f3efffd2ee608c85ff7f6877a3.tar.gz | |
gnu: coq-flocq: Update to 4.0.0.
* gnu/packages/coq.scm (coq-flocq): Update to 4.0.0.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions