aboutsummaryrefslogtreecommitdiff
path: root/gnu/build
ModeNameSize
-rw-r--r--accounts.scm21568logplain
-rw-r--r--activation.scm12495logplain
-rw-r--r--bootloader.scm1388logplain
-rw-r--r--cross-toolchain.scm7858logplain
-rw-r--r--file-systems.scm24125logplain
-rw-r--r--install.scm8236logplain
-rw-r--r--linux-boot.scm21145logplain
-rw-r--r--linux-container.scm15684logplain
-rw-r--r--linux-initrd.scm6197logplain
-rw-r--r--linux-modules.scm23951logplain
-rw-r--r--locale.scm3625logplain
-rw-r--r--marionette.scm13540logplain
-rw-r--r--shepherd.scm7230logplain
-rw-r--r--svg.scm2844logplain
-rw-r--r--vm.scm25145logplain
ulien Lepiller 2021-07-31gnu: coq: Update to 8.13.2.Julien Lepiller 2021-07-31gnu: coq-stdpp: Update to 1.5.0.Julien Lepiller 2021-06-13gnu: proof-general: Update to 4.4-0.bc86736.Xinglu Chen