diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-06-21 21:39:33 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-07-29 15:18:59 +0200 |
| commit | 380c65de949bbba0db3ff1679df723ddb50d9665 (patch) | |
| tree | 15ea54a6648d52ed0b4204eb6f988f563ae8a188 /Makefile.am | |
| parent | 88191acee23ce304c25da623efe56ff011831f3c (diff) | |
| download | guix-380c65de949bbba0db3ff1679df723ddb50d9665.tar.gz | |
gnu: Add coq-mathcomp.
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions