Cabal revisions of call-alloy-0.4.0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.35.0.------ see: https://github.com/sol/hpack--name: call-alloy-version: 0.4.0.3-synopsis: A simple library to call Alloy given a specification-description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>-category: Language-homepage: https://github.com/marcellussiegburg/call-alloy#readme-bug-reports: https://github.com/marcellussiegburg/call-alloy/issues-author: Marcellus Siegburg-maintainer: marcellus.siegburg@uni-due.de-copyright: 2019-2022 Marcellus Siegburg-license: MIT-license-file: LICENSE-build-type: Simple-extra-source-files:- README.md- LICENSE- ChangeLog.md-data-files:- alloy/RunAlloy.class- org.alloytools.alloy.dist.jar- commons-cli/commons-cli-1.5.0.jar- commons-cli/NOTICE.txt- commons-cli/LICENSE.txt- slf4j/slf4j-simple-1.7.36.jar- slf4j/LICENSE-data-dir: data--source-repository head- type: git- location: https://github.com/marcellussiegburg/call-alloy--library- exposed-modules:- Language.Alloy.Call- Language.Alloy.Debug- other-modules:- Language.Alloy.Functions- Language.Alloy.Internal.Call- Language.Alloy.Parser- Language.Alloy.RessourceNames- Language.Alloy.Ressources- Language.Alloy.Types- Paths_call_alloy- hs-source-dirs:- src- ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints- build-depends:- async >=2.2.1 && <2.3- , base >=4.12 && <5- , bytestring >=0.10.4 && <0.12- , containers ==0.6.*- , directory ==1.3.*- , extra ==1.7.*- , filepath ==1.4.*- , mtl >=2.2 && <2.4- , process ==1.6.*- , split ==0.2.*- , transformers >=0.5.0.0 && <0.7- , trifecta >=2 && <2.2- default-language: Haskell2010- if os(windows)- cpp-options: -DWINDOWS- build-depends:- Win32 >=2.5 && <2.14- else- build-depends:- unix >=2.7 && <2.9--test-suite call-alloy-test- type: exitcode-stdio-1.0- main-is: Spec.hs- other-modules:- Language.Alloy.Call- Language.Alloy.Debug- Language.Alloy.Functions- Language.Alloy.Internal.Call- Language.Alloy.Parser- Language.Alloy.RessourceNames- Language.Alloy.Ressources- Language.Alloy.Types- Language.Alloy.CallSpec- Paths_call_alloy- hs-source-dirs:- src- test- ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N- build-depends:- async >=2.2.1 && <2.3- , base >=4.12 && <5- , bytestring >=0.10.4 && <0.12- , call-alloy- , containers ==0.6.*- , directory ==1.3.*- , extra ==1.7.*- , filepath ==1.4.*- , hspec- , mtl >=2.2 && <2.4- , process ==1.6.*- , split ==0.2.*- , string-interpolate- , transformers >=0.5.0.0 && <0.7- , trifecta >=2 && <2.2- default-language: Haskell2010- if os(windows)- cpp-options: -DWINDOWS- build-depends:- Win32 >=2.5 && <2.14- else- build-depends:- unix >=2.7 && <2.9+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.35.0. +-- +-- see: https://github.com/sol/hpack + +name: call-alloy +version: 0.4.0.3 +x-revision: 1 +synopsis: A simple library to call Alloy given a specification +description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme> +category: Language +homepage: https://github.com/marcellussiegburg/call-alloy#readme +bug-reports: https://github.com/marcellussiegburg/call-alloy/issues +author: Marcellus Siegburg +maintainer: marcellus.siegburg@uni-due.de +copyright: 2019-2022 Marcellus Siegburg +license: MIT +license-file: LICENSE +build-type: Simple +extra-source-files: + README.md + LICENSE + ChangeLog.md +data-files: + alloy/RunAlloy.class + org.alloytools.alloy.dist.jar + commons-cli/commons-cli-1.5.0.jar + commons-cli/NOTICE.txt + commons-cli/LICENSE.txt + slf4j/slf4j-simple-1.7.36.jar + slf4j/LICENSE +data-dir: data + +source-repository head + type: git + location: https://github.com/marcellussiegburg/call-alloy + +library + exposed-modules: + Language.Alloy.Call + Language.Alloy.Debug + other-modules: + Language.Alloy.Functions + Language.Alloy.Internal.Call + Language.Alloy.Parser + Language.Alloy.RessourceNames + Language.Alloy.Ressources + Language.Alloy.Types + Paths_call_alloy + hs-source-dirs: + src + ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints + build-depends: + async >=2.2.1 && <2.3 + , base >=4.12 && <5 + , bytestring >=0.10.4 && <0.13 + , containers ==0.6.* + , directory ==1.3.* + , extra ==1.7.* + , filepath ==1.4.* + , mtl >=2.2 && <2.4 + , process ==1.6.* + , split ==0.2.* + , transformers >=0.5.0.0 && <0.7 + , trifecta >=2 && <2.2 + default-language: Haskell2010 + if os(windows) + cpp-options: -DWINDOWS + build-depends: + Win32 >=2.5 && <2.14 + else + build-depends: + unix >=2.7 && <2.9 + +test-suite call-alloy-test + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: + Language.Alloy.Call + Language.Alloy.Debug + Language.Alloy.Functions + Language.Alloy.Internal.Call + Language.Alloy.Parser + Language.Alloy.RessourceNames + Language.Alloy.Ressources + Language.Alloy.Types + Language.Alloy.CallSpec + Paths_call_alloy + hs-source-dirs: + src + test + ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + build-depends: + async >=2.2.1 && <2.3 + , base >=4.12 && <5 + , bytestring >=0.10.4 && <0.13 + , call-alloy + , containers ==0.6.* + , directory ==1.3.* + , extra ==1.7.* + , filepath ==1.4.* + , hspec + , mtl >=2.2 && <2.4 + , process ==1.6.* + , split ==0.2.* + , string-interpolate + , transformers >=0.5.0.0 && <0.7 + , trifecta >=2 && <2.2 + default-language: Haskell2010 + if os(windows) + cpp-options: -DWINDOWS + build-depends: + Win32 >=2.5 && <2.14 + else + build-depends: + unix >=2.7 && <2.9
revision 2
name: call-alloy version: 0.4.0.3 -x-revision: 1 +x-revision: 2 synopsis: A simple library to call Alloy given a specification description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme> category: Language async >=2.2.1 && <2.3 , base >=4.12 && <5 , bytestring >=0.10.4 && <0.13 - , containers ==0.6.* + , containers >=0.6 && <0.8 , directory ==1.3.* , extra ==1.7.* , filepath ==1.4.* , base >=4.12 && <5 , bytestring >=0.10.4 && <0.13 , call-alloy - , containers ==0.6.* + , containers >=0.6 && <0.8 , directory ==1.3.* , extra ==1.7.* , filepath ==1.4.*