on master help sign in
containers constraint for Data.Map.Strict
commit694832f2ecf2a5c273ff9d9a56f855f709072c23 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 29 Jan 2014, 19:59 (13 years ago) parent4c2a230
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -439,7 +439,7 @@ Library
439439 , ansi-wl-pprint
440440 , binary
441441 , bytestring
442− , containers
442+ , containers >= 0.5
443443 , directory
444444 , directory >= 1.2
445445 , filepath