~ruther/guix-local

ref: 69c3a06a1c81fa535539a85bc2dc2b61d001e39b guix-local/doc d---------
69c3a06a — Tobias Geerinckx-Rice gnu: btor2tools: Use HTTPS home page. 3 years ago
..
-rw-r--r--
build.scm
62.1 KiB
-rw-r--r--
contributing.texi
95.1 KiB
-rw-r--r--
environment-gdb.scm
425 bytes
-rw-r--r--
fdl-1.3.texi
22.9 KiB
-rw-r--r--
guix-cookbook.texi
145.7 KiB
-rw-r--r--
guix.texi
1.6 MiB
-rw-r--r--
he-config-bare-bones.scm
783 bytes
-rw-r--r--
htmlxref.cnf
22.3 KiB
d---------
images/
-rw-r--r--
local.mk
8.7 KiB
-rw-r--r--
package-hello.json
840 bytes
-rw-r--r--
package-hello.scm
615 bytes