Agda-executable 2.2.4 → 2.2.6

raw patch · 1 files changed

+4/−4 lines, 1 filesdep ~Agda

Dependency ranges changed: Agda

Files

• Agda-executable.cabal +4/−4

@@ -1,5 +1,5 @@ name:            Agda-executable-version:         2.2.4+version:         2.2.6 cabal-version:   >= 1.6 && < 2 build-type:      Simple license:         OtherLicense@@ -14,7 +14,7 @@   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.10.3+tested-with:     GHC == 6.10.4 && == 6.12.1  source-repository head   type:     darcs@@ -23,11 +23,11 @@ source-repository this   type:     darcs   location: http://code.haskell.org/Agda/-  tag:      2.2.4+  tag:      2.2.6  executable agda   main-is:       Main.hs-  build-depends: Agda == 2.2.4,+  build-depends: Agda == 2.2.6,                  -- Nothing is used from the following package, except                  -- for the prelude.                  base >= 3 && < 6