Merge pull request #510 from phadej/lattices-edit-distance
Add edit-distance and lattice
commit0ceb0dd45e4ee898b2003e21e44ec52250990861
authorMichael Snoyman <michael@snoyman.com>
dateMon 30 Mar 2015, 20:34 (12 years ago)
parent6c83fe1c7ba37c
build-constraints.yaml+2
@@ -748,6 +748,8 @@ packages:
748748 - string-conversions
749749
750750 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
751+ - edit-distance
752+ - lattices
751753 - waitra
752754
753755 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":