diff options
| author | Julien Lepiller <[email protected]> | 2017-06-08 18:25:32 +0200 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2017-07-29 15:18:45 +0200 |
| commit | d163d97d92f3abea98f4b36d55ac3bb9db23d423 (patch) | |
| tree | 29fd3747c19f550dbed61ace9522756ba27506ac /m4 | |
| parent | 8f82110492c0ecdb2fe0f6aba0a981cb34c66472 (diff) | |
gnu: Add coq-flocq.
* gnu/packages/ocaml.scm (coq-flocq): New variable.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions