diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 15:57:48 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:11 +0200 |
| commit | 6e4da73710822e1b46390a8ae0d223a0ef150298 (patch) | |
| tree | 24e1f5fe9c378380e9a5da86153719186473a235 /HACKING | |
| parent | 07b4cd3a48022a472c90ec46f2e8b08d9cc8fc3e (diff) | |
| download | patches-6e4da73710822e1b46390a8ae0d223a0ef150298.tar patches-6e4da73710822e1b46390a8ae0d223a0ef150298.tar.gz | |
gnu: Update coq to 8.7.0.
* gnu/packages/ocaml.scm (coq): Update to 8.7.0.
[build-system]: Use ocaml-build-system.
[inputs]: Add python-2.
[arguments]: Disable two failing tests.
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions