Cabal revisions of call-alloy-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.34.4.------ see: https://github.com/sol/hpack--name: call-alloy-version: 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- bin/alloy/RunAlloy.class- bin/org.alloytools.alloy.dist.jar- bin/commons-cli/commons-cli-1.5.0.jar- bin/commons-cli/NOTICE.txt- bin/commons-cli/LICENSE.txt- bin/slf4j/slf4j-simple-1.7.36.jar- bin/slf4j/LICENSE--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:- base >=4.12 && <5- , bytestring >=0.10.4 && <0.12- , containers ==0.6.*- , directory ==1.3.*- , extra ==1.7.*- , file-embed >=0.0.11 && <0.1- , filepath ==1.4.*- , hashable >=1.2 && <1.5- , mtl ==2.2.*- , process ==1.6.*- , split ==0.2.*- , trifecta >=2 && <2.2- if os(windows)- cpp-options: -DWINDOWS- build-depends:- Win32 >=2.5 && <2.14- else- build-depends:- unix ==2.7.*- default-language: Haskell2010--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:- base >=4.12 && <5- , bytestring >=0.10.4 && <0.12- , call-alloy- , containers ==0.6.*- , directory ==1.3.*- , extra ==1.7.*- , file-embed >=0.0.11 && <0.1- , filepath ==1.4.*- , hashable >=1.2 && <1.5- , hspec- , mtl ==2.2.*- , process ==1.6.*- , split ==0.2.*- , trifecta >=2 && <2.2- if os(windows)- cpp-options: -DWINDOWS- build-depends:- Win32 >=2.5 && <2.14- else- build-depends:- unix ==2.7.*- default-language: Haskell2010+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.34.4. +-- +-- see: https://github.com/sol/hpack + +name: call-alloy +version: 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 + bin/alloy/RunAlloy.class + bin/org.alloytools.alloy.dist.jar + bin/commons-cli/commons-cli-1.5.0.jar + bin/commons-cli/NOTICE.txt + bin/commons-cli/LICENSE.txt + bin/slf4j/slf4j-simple-1.7.36.jar + bin/slf4j/LICENSE + +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: + base >=4.12 && <5 + , bytestring >=0.10.4 && <0.12 + , containers ==0.6.* + , directory ==1.3.* + , extra ==1.7.* + , file-embed >=0.0.11 && <0.1 + , filepath ==1.4.* + , hashable >=1.2 && <1.5 + , mtl >=2.2 && <2.4 + , process ==1.6.* + , split ==0.2.* + , trifecta >=2 && <2.2 + if os(windows) + cpp-options: -DWINDOWS + build-depends: + Win32 >=2.5 && <2.14 + else + build-depends: + unix ==2.7.* + default-language: Haskell2010 + +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: + base >=4.12 && <5 + , bytestring >=0.10.4 && <0.12 + , call-alloy + , containers ==0.6.* + , directory ==1.3.* + , extra ==1.7.* + , file-embed >=0.0.11 && <0.1 + , filepath ==1.4.* + , hashable >=1.2 && <1.5 + , hspec + , mtl >=2.2 && <2.4 + , process ==1.6.* + , split ==0.2.* + , trifecta >=2 && <2.2 + if os(windows) + cpp-options: -DWINDOWS + build-depends: + Win32 >=2.5 && <2.14 + else + build-depends: + unix ==2.7.* + default-language: Haskell2010