Cabal revisions of call-alloy-0.5
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.36.0.------ see: https://github.com/sol/hpack--name: call-alloy-version: 0.5-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-2024 Marcellus Siegburg-license: MIT-license-file: LICENSE-build-type: Simple-extra-source-files:- README.md- LICENSE- ChangeLog.md-data-files:- alloy/RunAlloy.class- alloy/SATSolver.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--flag test-different-solvers- description: During tests different solvers are called to test if they are working on the current system- manual: True- default: False--library- exposed-modules:- Language.Alloy.Call- Language.Alloy.Debug- Language.Alloy.Exceptions- 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 && <0.8- , directory ==1.3.*- , exceptions >=0.8.1 && <0.11- , extra ==1.7.*- , filepath ==1.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.15- 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.Exceptions- Language.Alloy.Functions- Language.Alloy.Internal.Call- Language.Alloy.Parser- Language.Alloy.RessourceNames- Language.Alloy.Ressources- Language.Alloy.Types- Language.Alloy.CallSpec- ReadmeExample- ReadmeExampleSpec- 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 && <0.8- , directory ==1.3.*- , exceptions >=0.8.1 && <0.11- , extra ==1.7.*- , file-embed- , filepath ==1.4.*- , hspec- , 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.15- else- build-depends:- unix >=2.7 && <2.9- if flag(test-different-solvers)- cpp-options: -DTEST_DIFFERENT_SOLVERS+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.36.0. +-- +-- see: https://github.com/sol/hpack + +name: call-alloy +version: 0.5 +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-2024 Marcellus Siegburg +license: MIT +license-file: LICENSE +build-type: Simple +extra-source-files: + README.md + LICENSE + ChangeLog.md +data-files: + alloy/RunAlloy.class + alloy/SATSolver.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 + +flag test-different-solvers + description: During tests different solvers are called to test if they are working on the current system + manual: True + default: False + +library + exposed-modules: + Language.Alloy.Call + Language.Alloy.Debug + Language.Alloy.Exceptions + 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 && <0.8 + , directory ==1.3.* + , exceptions >=0.8.1 && <0.11 + , extra ==1.7.* + , filepath ==1.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.15 + 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.Exceptions + Language.Alloy.Functions + Language.Alloy.Internal.Call + Language.Alloy.Parser + Language.Alloy.RessourceNames + Language.Alloy.Ressources + Language.Alloy.Types + Language.Alloy.CallSpec + ReadmeExample + ReadmeExampleSpec + 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 >=5 && <5 + , bytestring >=0.10.4 && <0.13 + , call-alloy + , containers >=0.6 && <0.8 + , directory ==1.3.* + , exceptions >=0.8.1 && <0.11 + , extra ==1.7.* + , file-embed + , filepath ==1.4.* + , hspec + , 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.15 + else + build-depends: + unix >=2.7 && <2.9 + if flag(test-different-solvers) + cpp-options: -DTEST_DIFFERENT_SOLVERS