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	11b375657d	switch to my updated fork	2024-05-16 22:47:23 +02:00
Jan-Erik Rediger	6b765abc4b	run checks and deploy hare-* as derivations	2024-05-15 13:19:42 +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