diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-08 18:29:30 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-08 18:29:30 +0100 |
| commit | 85b9371cbea82fd2d89bb393ce93c219b5b1efe9 (patch) | |
| tree | b95dce36d6c5833cc3014d7cc9eb24e9d6f1ad7a /gnu/packages/coq.scm | |
| parent | 0e50630f1587c00c55bb3544d163098e6ac1920f (diff) | |
| download | guix-85b9371cbea82fd2d89bb393ce93c219b5b1efe9.tar guix-85b9371cbea82fd2d89bb393ce93c219b5b1efe9.tar.gz | |
gnu: Add dune-functions.
* gnu/packages/maths.scm (dune-functions): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions