~ruther/guix-local

ref: 07fc7046d2ca8c8a7574408c2e3ce9c1e1bb5ff6 guix-local/gnu/machine d---------
07fc7046 — Julien Lepiller gnu: coq-interval: Update to 4.3.1. 4 years ago
..
-rw-r--r--
digital-ocean.scm
17.5 KiB
-rw-r--r--
ssh.scm
24.3 KiB