diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2020-04-04 18:53:30 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2020-04-04 18:54:06 +0200 |
| commit | 048de09ad8029b0ca31dfc59e600b691f5bd5c94 (patch) | |
| tree | c8ab8755c178e73cae7677b8543cd869c5a4bfe7 /nonguix | |
| parent | 8d2c3b5bb38ec98420f7dd6518850cde8cf50e2f (diff) | |
nongnu: Add compcert.
* nongnu/packages/coq.scm: New file.
Diffstat (limited to 'nonguix')
0 files changed, 0 insertions, 0 deletions