diff options
| author | David Craven <david@craven.ch> | 2016-11-05 19:01:38 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2016-12-10 21:47:08 +0100 |
| commit | 2694d1dc80f174f30b49117192f258e32fe6957b (patch) | |
| tree | 671c5e0f4d7a5800e6e1b1c13e2b6fc18eb9e3cc /gnu/build/install.scm | |
| parent | 60bc622b1d7e70bbc208bf1af356d1157196ae57 (diff) | |
| download | guix-2694d1dc80f174f30b49117192f258e32fe6957b.tar guix-2694d1dc80f174f30b49117192f258e32fe6957b.tar.gz | |
gnu: coq: Update to 8.5pl2.
* gnu/packages/ocaml.scm (coq): Update to 8.5pl2.
[arguments]: Configure script takes single hyphen arguments.
Diffstat (limited to 'gnu/build/install.scm')
0 files changed, 0 insertions, 0 deletions