5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jan-Erik Rediger	6b765abc4b	run checks and deploy hare-* as derivations	2024-05-15 13:19:42 +02:00
Jan-Erik Rediger	5200cf3c88	cleanup	2024-05-15 12:50:04 +02:00
Jan-Erik Rediger	98e1f635c8	make it all work	2024-05-15 12:48:29 +02:00
Jan-Erik Rediger	4eaf069485	it compiles at least	2024-05-15 12:19:36 +02:00
Jan-Erik Rediger	4e22a48854	init	2024-05-14 21:06:04 +02:00