Julien Lepiller 698e5c38b4 gnu: coq-mathcomp: Update to 1.13.0. ... * gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.		2021-11-21 19:27:02 +01:00
..
bootloader
build
home
installer
machine
packages	gnu: coq-mathcomp: Update to 1.13.0.	2021-11-21 19:27:02 +01:00
platforms
services
system
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk	gnu: ocaml-qcheck: Update to 0.18.	2021-11-20 17:08:06 +01:00
machine.scm
packages.scm
platform.scm
services.scm
system.scm
tests.scm