~ruther/guix-local

ref: 5b05dce74783e59c23ea0e3dc21386f1cca83ff1 guix-local/srfi d---------
5b05dce7 — Jan Nieuwenhuizen gnu: Add mcrl2. 8 years ago
..
-rw-r--r--
srfi-64.scm
2.4 KiB
-rw-r--r--
srfi-64.upstream.scm
35.4 KiB