diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 16:16:15 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:14 +0200 |
| commit | b44f13e04cec16c6c4a4ad627f79c787f868bc58 (patch) | |
| tree | 126d03896faadff9bf3f687fd0b81321902a0e5e /COPYING | |
| parent | 6e4da73710822e1b46390a8ae0d223a0ef150298 (diff) | |
| download | guix-b44f13e04cec16c6c4a4ad627f79c787f868bc58.tar guix-b44f13e04cec16c6c4a4ad627f79c787f868bc58.tar.gz | |
gnu: Update coq-flocq to 2.6.0.
* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions