Agda-executable 2.2.0 → 2.2.2

raw patch · 1 files changed

+14/−4 lines, 1 filesdep ~Agda

Dependency ranges changed: Agda

Files

• Agda-executable.cabal +14/−4

@@ -1,6 +1,6 @@ name:            Agda-executable-version:         2.2.0-cabal-version:   >= 1.4 && < 2+version:         2.2.2+cabal-version:   >= 1.6 && < 2 build-type:      Simple license:         OtherLicense license-file:    LICENSE@@ -14,9 +14,19 @@   This package provides a command-line program for type-checking and   compiling Agda programs. The program can also generate hyperlinked,   highlighted HTML files from Agda sources.-tested-with:     GHC == 6.8.3 && == 6.10.1+tested-with:     GHC == 6.8.3 && == 6.10.2 +source-repository head+  type:     darcs+  location: http://code.haskell.org/Agda/++source-repository this+  type:     darcs+  location: http://code.haskell.org/Agda/+  tag:      2.2.2+ executable agda   main-is:       Main.hs-  build-depends: Agda == 2.2.0,+  build-depends: Agda == 2.2.2,                  base+