diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-20 00:22:50 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-20 00:22:50 +0100 |
| commit | e1a8ba10ecfb7ca29f9efb0a75dc960f5cb49f71 (patch) | |
| tree | e472668a77227ce1cbc77bbac023b2244ffd30e7 /gnu/packages/coq.scm | |
| parent | cebc0e54a473c78bf0ad4c255ae7bef660b05e78 (diff) | |
gnu: Add ocaml4.07-cstruct.
* gnu/packages/ocaml.scm (ocaml4.07-cstruct): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions