on master help sign in
Merge pull request #510 from phadej/lattices-edit-distance
0ceb0ddMichael Snoyman
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":