co-dan/guix-packages
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Guix channel
20 commits 1 branch 0 tags 41 KiB
  • Scheme 100%
Find a file
Exact
Dan Frumin 840b39af3e cleanup
2019-05-24 11:46:49 +02:00
.dir-locals.el meh dir-locals 2018-12-16 15:58:17 +01:00
iris.scm cleanup 2019-05-24 11:46:49 +02:00
README Add README 2018-12-15 12:49:07 +01:00

README 

Some packages for the Guix package manager.
Mostly Coq stuff.