summary refs log tree commit diff
path: root/nix/.gitignore
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-06-21 21:39:33 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-07-29 15:18:59 +0200
commit380c65de949bbba0db3ff1679df723ddb50d9665 (patch)
tree15ea54a6648d52ed0b4204eb6f988f563ae8a188 /nix/.gitignore
parent88191acee23ce304c25da623efe56ff011831f3c (diff)
downloadguix-380c65de949bbba0db3ff1679df723ddb50d9665.tar.gz
gnu: Add coq-mathcomp.
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
Diffstat (limited to 'nix/.gitignore')
0 files changed, 0 insertions, 0 deletions