Alex Griffin a66e21377d Merge branch 'compcert' into 'master' ... nongnu: Add compcert. See merge request nonguix/nonguix!21		2020-04-07 16:42:17 +00:00
..
packages	Merge branch 'compcert' into 'master'	2020-04-07 16:42:17 +00: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