~ruther/guix-local

ref: 1973183b636441a6ddb4d7dd4cb202796561bf32 guix-local/srfi d---------
1973183b — Mark H Weaver gnu: Add coq. 11 years ago
..
-rw-r--r--
srfi-37.scm.in
8.4 KiB
-rw-r--r--
srfi-64.scm
2.4 KiB
-rw-r--r--
srfi-64.upstream.scm
35.4 KiB