Cabal revisions of Agda-2.6.4.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
cabal-version: 2.4 name: Agda version: 2.6.4.3+x-revision: 1 build-type: Custom license: MIT license-file: LICENSE packages. tested-with:- GHC == 9.8.1- GHC == 9.6.4+ GHC == 9.10.1+ GHC == 9.8.2+ GHC == 9.6.5 GHC == 9.4.8 GHC == 9.2.8 GHC == 9.0.2 custom-setup setup-depends:- , base >= 4.12.0.0 && < 4.20- , Cabal >= 2.4.0.1 && < 3.11+ , base >= 4.12.0.0 && < 4.21+ , Cabal >= 2.4.0.1 && < 3.13 , directory >= 1.3.3.0 && < 1.4- , filepath >= 1.4.2.1 && < 1.5+ , filepath >= 1.4.2.1 && < 1.6 , process >= 1.6.3.0 && < 1.7 -- Common stanzas , ansi-terminal >= 0.9 && < 1.2 , array >= 0.5.2.0 && < 0.6 , async >= 2.2 && < 2.3- , base >= 4.12.0.0 && < 4.20+ , base >= 4.12.0.0 && < 4.21 , binary >= 0.8.6.0 && < 0.9 , blaze-html >= 0.8 && < 0.10 , boxes >= 0.1.3 && < 0.2 , equivalence >= 0.3.2 && < 0.5 -- exceptions-0.8 instead of 0.10 because of stack , exceptions >= 0.8 && < 0.11- , filepath >= 1.4.2.1 && < 1.5+ , filepath >= 1.4.2.1 && < 1.6 , ghc-compact == 0.1.* , gitrev >= 1.3.1 && < 2 -- hashable 1.2.0.10 makes library-test 10x , STMonadTrans >= 0.4.3 && < 0.5 , strict >= 0.4.0.1 && < 0.6 , text >= 1.2.3.1 && < 2.2- , time >= 1.8.0.2 && < 1.13+ , time >= 1.8.0.2 && < 1.15 , time-compat >= 1.9.2 && < 1.10 -- time-compat adds needed functionality missing in time < 1.9 , transformers >= 0.5.5.0 && < 0.7 autogen-modules: Paths_Agda other-modules: Paths_Agda build-depends:- , base >= 4.12.0.0 && < 4.20+ , base >= 4.12.0.0 && < 4.21 , directory >= 1.3.3.0 && < 1.4- , filepath >= 1.4.2.1 && < 1.5+ , filepath >= 1.4.2.1 && < 1.6 , process >= 1.6.3.0 && < 1.7 default-language: Haskell2010
revision 2
cabal-version: 2.4 name: Agda version: 2.6.4.3-x-revision: 1+x-revision: 2 build-type: Custom license: MIT license-file: LICENSE packages. tested-with:- GHC == 9.10.1- GHC == 9.8.2- GHC == 9.6.5+ GHC == 9.12.2+ GHC == 9.10.3+ GHC == 9.8.4+ GHC == 9.6.7 GHC == 9.4.8 GHC == 9.2.8 GHC == 9.0.2 custom-setup setup-depends:- , base >= 4.12.0.0 && < 4.21+ , base >= 4.12.0.0 && < 4.22 , Cabal >= 2.4.0.1 && < 3.13 , directory >= 1.3.3.0 && < 1.4 , filepath >= 1.4.2.1 && < 1.6 , ansi-terminal >= 0.9 && < 1.2 , array >= 0.5.2.0 && < 0.6 , async >= 2.2 && < 2.3- , base >= 4.12.0.0 && < 4.21+ , base >= 4.12.0.0 && < 4.22 , binary >= 0.8.6.0 && < 0.9 , blaze-html >= 0.8 && < 0.10 , boxes >= 0.1.3 && < 0.2 , bytestring >= 0.10.8.2 && < 0.13 , case-insensitive >= 1.2.0.4 && < 1.3- , containers >= 0.6.0.1 && < 0.8+ , containers >= 0.6.0.1 && < 0.9 , data-hash >= 0.2.0.0 && < 0.3 , deepseq >= 1.4.4.0 && < 1.6 , directory >= 1.3.3.0 && < 1.4 -- hashable 1.2.0.10 makes library-test 10x -- slower. The issue was fixed in hashable 1.2.1.0. -- https://github.com/tibbe/hashable/issues/57.- , hashable >= 1.2.1.0 && < 1.5+ , hashable >= 1.2.1.0 && < 1.6 , haskeline >= 0.7.4.3 && < 0.9 -- monad-control-1.0.1.0 is the first to contain liftThrough , monad-control >= 1.0.1.0 && < 1.1 , mtl >= 2.2.2 && < 2.4 , murmur-hash >= 0.1 && < 0.2- , parallel >= 3.2.2.0 && < 3.3+ , parallel >= 3.2.2.0 && < 3.4 , peano >= 0.1.0.1 && < 0.2 , pretty >= 1.1.3.3 && < 1.2 , process >= 1.6.3.0 && < 1.7 autogen-modules: Paths_Agda other-modules: Paths_Agda build-depends:- , base >= 4.12.0.0 && < 4.21+ , base >= 4.12.0.0 && < 4.22 , directory >= 1.3.3.0 && < 1.4 , filepath >= 1.4.2.1 && < 1.6 , process >= 1.6.3.0 && < 1.7