git.iko.soy/stackage
on master help sign in
add cryptol
1a66216Adam C. Foltzer
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -744,6 +744,7 @@ packages:
744 - waitra
744 - waitra
745
745
746 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
746 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
747+ - cryptol
747 - gitrev
748 - gitrev
748
749
749 "Luke Taylor tekul.hs@gmail.com @tekul":
750 "Luke Taylor tekul.hs@gmail.com @tekul":