Julien Lepiller 048de09ad8 nongnu: Add compcert. ... * nongnu/packages/coq.scm: New file.		2020-04-04 18:54:06 +02:00
..
packages	nongnu: Add compcert.	2020-04-04 18:54:06 +02:00
services	README.org: Don't recommend load-broadcom-sta-service.	2020-03-22 15:16:02 -05:00
system	linux-initrd: Don't close over core Guile modules.	2020-01-08 16:27:45 -06:00