cmu 1.0 → 1.1
raw patch · 2 files changed
+8/−2 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
ChangeLog view
@@ -1,3 +1,9 @@ 2009-09-17 John D. Ramsdell <ramsdell@mitre.org> * cmu.cabal (Version): Released as version 1.0.++ * cmu.cabal (Synopsis): Fixed spelling error.++ * cmu.cabal (Version): Released as version 1.1 after fixing the+ embarrassing spelling error.+
cmu.cabal view
@@ -1,10 +1,10 @@ Name: cmu-Version: 1.0+Version: 1.1 Maintainer: ramsdell@mitre.org Cabal-Version: >= 1.2 License: GPL License-File: license.txt-Synopsis: Unification in a Commutative Monaid+Synopsis: Unification in a Commutative Monoid Description: The unification problem is given the problem statement t =? t\', find a most general substitution s such that s(t) = s(t\') modulo