Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-30 04:04:11 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
385 commits 16 branches 1 tag 3.9 MiB
Commit graph

1 commit

Author SHA1 Message Date
Julien Lepiller
048de09ad8 nongnu: Add compcert. 
* nongnu/packages/coq.scm: New file.
 2020-04-04 18:54:06 +02:00