summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-03-04 17:10:28 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-03-04 17:14:15 +0100
commit96f39b2a6e03d36582108efb11f915b08c454b7c (patch)
tree490c02fb19b065f936b6eda365dddca413bd4363 /gnu/packages/coq.scm
parent74fea1e2df38afc772313b3bd6658c4a337a1e1c (diff)
downloadguix-96f39b2a6e03d36582108efb11f915b08c454b7c.tar.gz
gnu: Add java-jblas.
* gnu/packages/java-maths.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions