guix - GNU transactional package management, distribution, deployment, and more!

Mode	Name	Size
-rw-r--r--	.codespellrc	374	log plain
-rw-r--r--	.dir-locals.el	42286	log plain
-rw-r--r--	.editorconfig	311	log plain
d---------	.forgejo	93	log plain
-rw-r--r--	.gitattributes	73	log plain
-rw-r--r--	.gitignore	2767	log plain
-rw-r--r--	.guix-authorizations	5475	log plain
-rw-r--r--	.guix-channel	174	log plain
-rw-r--r--	.mailmap	5407	log plain
d---------	.mumi	34	log plain
-rw-r--r--	.patman	300	log plain
-rw-r--r--	AUTHORS	472	log plain
-rw-r--r--	CODE-OF-CONDUCT	5321	log plain
-rw-r--r--	CODEOWNERS	28068	log plain
-rw-r--r--	COPYING	35147	log plain
-rw-r--r--	ChangeLog	163	log plain
-rw-r--r--	HACKING	748	log plain
-rw-r--r--	Makefile.am	47448	log plain
-rw-r--r--	NEWS	386617	log plain
-rw-r--r--	README	5499	log plain
l---------	README.org -> README	6	log plain
-rw-r--r--	ROADMAP	3257	log plain
-rw-r--r--	RocqExample.v	86	log plain
-rw-r--r--	THANKS	2388	log plain
-rw-r--r--	TODO	4362	log plain
-rwxr-xr-x	bootstrap	1041	log plain
d---------	build-aux	879	log plain
-rw-r--r--	config-daemon.ac	5208	log plain
-rw-r--r--	configure.ac	10902	log plain
d---------	doc	504	log plain
d---------	etc	942	log plain
-rw-r--r--	gnu.scm	5289	log plain
d---------	gnu	807	log plain
-rw-r--r--	guix.scm	1452	log plain
d---------	guix	3596	log plain
d---------	m4	35	log plain
-rw-r--r--	manifest.scm	2241	log plain
d---------	nix	250	log plain
-rw-r--r--	package-ci.bash	894	log plain
-rw-r--r--	patch-checklist.bash	1554	log plain
d---------	po	96	log plain
-rw-r--r--	profiles.org	1675	log plain
-rw-r--r--	reproduce.bash	1010	log plain
d---------	scripts	35	log plain
-rw-r--r--	test-rocq.bash	615	log plain
d---------	tests	4469	log plain