~ruther/guix-local

ref: 5e12096e90a1836fdfaaada8b42e52b5d7efa3ec guix-local/gnu/machine d---------
5e12096e — Jean-Pierre De Jesus DIAZ gnu: coq-mathcomp-bigenough: Use new style. 2 years ago
..
-rw-r--r--
digital-ocean.scm
19.6 KiB
-rw-r--r--
ssh.scm
27.6 KiB