Cabal revisions of Agda-2.6.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
name: Agda version: 2.6.3+x-revision: 1 cabal-version: 1.24 build-type: Custom license: OtherLicense policy, because it is not intended to be used by third-party packages. -tested-with: GHC == 8.0.2- GHC == 8.2.2- GHC == 8.4.4- GHC == 8.6.5- GHC == 8.8.4- GHC == 8.10.7- GHC == 9.0.2- GHC == 9.2.5- GHC == 9.4.4+tested-with:+ GHC == 9.6.1+ GHC == 9.4.4+ GHC == 9.2.5+ GHC == 9.0.2+ GHC == 8.10.7+ GHC == 8.8.4+ GHC == 8.6.5+ GHC == 8.4.4+ GHC == 8.2.2+ GHC == 8.0.2 extra-source-files: CHANGELOG.md README.md Enable some expensive optimisations when compiling Agda. custom-setup- setup-depends: base >= 4.9.0.0 && < 4.18- , Cabal >= 1.24.0.0 && < 3.9+ setup-depends: base >= 4.9.0.0 && < 4.19+ , Cabal >= 1.24.0.0 && < 3.11 , directory >= 1.2.6.2 && < 1.4 , filepath >= 1.4.1.0 && < 1.5 , process >= 1.4.2.0 && < 1.7 build-depends: text-icu >= 0.7.1.0 if os(windows)- build-depends: Win32 >= 2.3.1.1 && < 2.13+ build-depends: Win32 >= 2.3.1.1 && < 2.14 -- Agda cannot be built with GHC 8.6.1 due to a compiler bug, see -- Agda Issue #3344. build-depends: aeson >= 1.1.2.0 && < 2.2 , array >= 0.5.1.1 && < 0.6 , async >= 2.2 && < 2.3- , base >= 4.9.0.0 && < 4.18+ , base >= 4.9.0.0 && < 4.19 , binary >= 0.8.3.0 && < 0.9 , blaze-html >= 0.8 && < 0.10 , boxes >= 0.1.3 && < 0.2 , split >= 0.2.0.0 && < 0.2.4 , stm >= 2.4.4 && < 2.6 , STMonadTrans >= 0.4.3 && < 0.5- , strict >= 0.4.0.1 && < 0.5+ , strict >= 0.4.0.1 && < 0.6 , text >= 1.2.3.0 && < 2.1 , time >= 1.6.0.1 && < 1.13 , time-compat >= 1.9.2 && < 1.10 hs-source-dirs: src/agda-mode main-is: Main.hs other-modules: Paths_Agda- build-depends: base >= 4.9.0.0 && < 4.18+ build-depends: base >= 4.9.0.0 && < 4.19 , directory >= 1.2.6.2 && < 1.4 , filepath >= 1.4.1.0 && < 1.5 , process >= 1.4.2.0 && < 1.7
revision 2
name: Agda version: 2.6.3-x-revision: 1+x-revision: 2 cabal-version: 1.24 build-type: Custom license: OtherLicense if os(windows) && impl(ghc == 8.6.3) buildable: False - build-depends: aeson >= 1.1.2.0 && < 2.2+ build-depends: aeson >= 1.1.2.0 && < 2.3 , array >= 0.5.1.1 && < 0.6 , async >= 2.2 && < 2.3 , base >= 4.9.0.0 && < 4.19
revision 3
name: Agda version: 2.6.3-x-revision: 2+x-revision: 3 cabal-version: 1.24 build-type: Custom license: OtherLicense , binary >= 0.8.3.0 && < 0.9 , blaze-html >= 0.8 && < 0.10 , boxes >= 0.1.3 && < 0.2- , bytestring >= 0.10.8.1 && < 0.12+ , bytestring >= 0.10.8.1 && < 0.13 , case-insensitive >= 1.2.0.4 && < 1.3 -- containers-0.5.11.0 is the first to contain IntSet.intersection , containers >= 0.5.11.0 && < 0.7
revision 4
name: Agda version: 2.6.3-x-revision: 3+x-revision: 4 cabal-version: 1.24 build-type: Custom license: OtherLicense Enable some expensive optimisations when compiling Agda. custom-setup- setup-depends: base >= 4.9.0.0 && < 4.19- , Cabal >= 1.24.0.0 && < 3.11+ setup-depends: base >= 4.9.0.0 && < 4.20+ , Cabal >= 1.24.0.0 && < 3.12 , directory >= 1.2.6.2 && < 1.4 , filepath >= 1.4.1.0 && < 1.5 , process >= 1.4.2.0 && < 1.7 build-depends: aeson >= 1.1.2.0 && < 2.3 , array >= 0.5.1.1 && < 0.6 , async >= 2.2 && < 2.3- , base >= 4.9.0.0 && < 4.19+ , base >= 4.9.0.0 && < 4.20 , binary >= 0.8.3.0 && < 0.9 , blaze-html >= 0.8 && < 0.10 , boxes >= 0.1.3 && < 0.2 -- containers-0.5.11.0 is the first to contain IntSet.intersection , containers >= 0.5.11.0 && < 0.7 , data-hash >= 0.2.0.0 && < 0.3- , deepseq >= 1.4.2.0 && < 1.5+ , deepseq >= 1.4.2.0 && < 1.6 , directory >= 1.2.6.2 && < 1.4 , dlist >= 0.8 && < 1.1 , edit-distance >= 0.2.1.2 && < 0.3 hs-source-dirs: src/agda-mode main-is: Main.hs other-modules: Paths_Agda- build-depends: base >= 4.9.0.0 && < 4.19+ build-depends: base >= 4.9.0.0 && < 4.20 , directory >= 1.2.6.2 && < 1.4 , filepath >= 1.4.1.0 && < 1.5 , process >= 1.4.2.0 && < 1.7
revision 5
name: Agda version: 2.6.3-x-revision: 4+x-revision: 5 cabal-version: 1.24 build-type: Custom license: OtherLicense packages. tested-with:- GHC == 9.6.1- GHC == 9.4.4- GHC == 9.2.5+ GHC == 9.8.1+ GHC == 9.6.3+ GHC == 9.4.7+ GHC == 9.2.8 GHC == 9.0.2 GHC == 8.10.7 GHC == 8.8.4 , bytestring >= 0.10.8.1 && < 0.13 , case-insensitive >= 1.2.0.4 && < 1.3 -- containers-0.5.11.0 is the first to contain IntSet.intersection- , containers >= 0.5.11.0 && < 0.7+ , containers >= 0.5.11.0 && < 0.8 , data-hash >= 0.2.0.0 && < 0.3 , deepseq >= 1.4.2.0 && < 1.6 , directory >= 1.2.6.2 && < 1.4 , pretty >= 1.1.3.3 && < 1.2 , process >= 1.4.2.0 && < 1.7 , regex-tdfa >= 1.3.1.0 && < 1.4- , split >= 0.2.0.0 && < 0.2.4+ , split >= 0.2.0.0 && < 0.3 , stm >= 2.4.4 && < 2.6 , STMonadTrans >= 0.4.3 && < 0.5 , strict >= 0.4.0.1 && < 0.6- , text >= 1.2.3.0 && < 2.1+ , text >= 1.2.3.0 && < 2.2 , time >= 1.6.0.1 && < 1.13 , time-compat >= 1.9.2 && < 1.10 -- time-compat adds needed functionality missing in time < 1.9