on master help sign in
Add edit-distance and lattice
c7ba37cOleg Grenrus
build-constraints.yaml+2
@@ -748,6 +748,8 @@ packages:
748 - string-conversions
748 - string-conversions
749
749
750 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
750 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
751+ - edit-distance
752+ - lattices
751 - waitra
753 - waitra
752
754
753 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
755 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":