Agda-executable 2.2.6 → 2.2.8

raw patch · 2 files changed

+6/−6 lines, 2 filesdep ~Agda

Dependency ranges changed: Agda

Files

• Agda-executable.cabal +5/−5
• LICENSE +1/−1

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

@@ -1,4 +1,4 @@-Copyright (c) 2005-2009 Ulf Norell, Catarina Coquand, Makoto Takeyama,+Copyright (c) 2005-2010 Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, Karl Mehltretter, Marcin Benke.  Permission is hereby granted, free of charge, to any person obtaining