~ruther/guix-local (2d60af4d6d486591c5a6981659d1771b7c69781a): scripts/ - ditigal.xyz git

Log in — Register

~ruther/guix-local

summary
tree
log
refs

ref: 2d60af4d6d486591c5a6981659d1771b7c69781a guix-local/scripts d---------

Browse
Log
Permalink

2d60af4d — zimoun gnu: Add coq-semantics. 4 years ago

..

-rw-r--r--

guix.in

1.9 KiB