5 commits

Author	SHA1	Message	Date
Jan-Erik Rediger	5bcb10eff4	rename to dashed version	2024-05-16 23:03:29 +02:00
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	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