~ruther/guix-local

6bd2a77b — Andreas Enge gnu: Remove (gnu packages idris). a month ago
..
-rw-r--r--
4.4 KiB
-rw-r--r--
4.4 KiB
-rw-r--r--
37.2 KiB
-rw-r--r--
10.5 KiB