Agda-executable 2.2.2 → 2.2.4
raw patch · 2 files changed
+11/−8 lines, 2 filesdep ~Agdadep ~base
Dependency ranges changed: Agda, base
Files
- Agda-executable.cabal +8/−7
- Main.hs +3/−1
Agda-executable.cabal view
@@ -1,10 +1,10 @@ name: Agda-executable-version: 2.2.2+version: 2.2.4 cabal-version: >= 1.6 && < 2 build-type: Simple license: OtherLicense license-file: LICENSE-author: Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ...+author: Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ... maintainer: Ulf Norell <ulfn@chalmers.se> homepage: http://wiki.portal.chalmers.se/agda/ bug-reports: http://code.google.com/p/agda/issues/list@@ -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.8.3 && == 6.10.2+tested-with: GHC == 6.10.3 source-repository head type: darcs@@ -23,10 +23,11 @@ source-repository this type: darcs location: http://code.haskell.org/Agda/- tag: 2.2.2+ tag: 2.2.4 executable agda main-is: Main.hs- build-depends: Agda == 2.2.2,- base-+ build-depends: Agda == 2.2.4,+ -- Nothing is used from the following package, except+ -- for the prelude.+ base >= 3 && < 6
Main.hs view
@@ -5,6 +5,8 @@ module Main (main) where -import qualified Agda.Main+import qualified Agda.Main ( main )+import Prelude ( IO ) +main :: IO () main = Agda.Main.main