Agda-executable 2.3.0 → 2.3.0.1

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.3.0+version:         2.3.0.1 cabal-version:   >= 1.8 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 == 7.2.1+tested-with:     GHC == 7.4.1  source-repository head   type:     darcs@@ -23,11 +23,11 @@ source-repository this   type:     darcs   location: http://code.haskell.org/Agda/-  tag:      2.3.0+  tag:      2.3.0.1  executable agda   main-is:       Main.hs-  build-depends: Agda == 2.3.0,+  build-depends: Agda == 2.3.0.1,                  -- Nothing is used from the following package, except                  -- for the prelude.                  base >= 3 && < 6