7 commits

Author	SHA1	Message	Date
Natalie	81e27779d6	test signing 2	2025-04-10 20:07:05 -07:00
Natalie	7c22b891ab	test signing	2025-04-10 20:04:30 -07:00
Natalie Marks	e430193714	Merge branch 'main' of github.com:nmarks413/nix-config	2025-04-01 16:53:55 -07:00
Natalie Marks	3451754834	add coq	2025-04-01 16:53:48 -07:00
Natalie	19bceadaf6	meow meow	2025-04-01 16:53:29 -07:00
Natalie	5acef4760c	make config work on macos	2025-03-31 13:37:38 -07:00
Natalie Marks	ed5b2071c5	refactor out common packages	2025-03-28 21:09:28 -07:00