diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-06 01:35:55 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-06 21:04:20 -0600 |
| commit | 346825571cd37782a880e17fbb76afc2f14d4959 (patch) | |
| tree | abfcf94ab0ec76ea5dcf2420249faa4c57380416 /gnu/packages/chez.scm | |
| parent | a5727da96aa131604fe1552b8938e3a2998b2745 (diff) | |
| download | guix-346825571cd37782a880e17fbb76afc2f14d4959.tar guix-346825571cd37782a880e17fbb76afc2f14d4959.tar.gz | |
gnu: coq-flocq: Update to 3.2.0.
* gnu/packages/coq.scm (coq-flocq): Update to 3.2.0.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake for remake.
[arguments]: Add remove-failing-examples phase to work around union error.
Diffstat (limited to 'gnu/packages/chez.scm')
0 files changed, 0 insertions, 0 deletions