Mark H Weaver 0705f79c6f gnu: Add proof-general. ... * gnu/packages/ocaml.scm (proof-general): New variable.		2015-06-08 20:08:50 -04:00
..
build
packages	gnu: Add proof-general.	2015-06-08 20:08:50 -04:00
services
system	install: Omit /root from the binary tarball.	2015-06-08 23:25:51 +02:00
artwork.scm
packages.scm
services.scm
system.scm