Cabal revisions of verifiable-expressions-0.6.2
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: verifiable-expressions-version: 0.6.2-synopsis: An intermediate language for Hoare logic style verification.-description: A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.-category: Language-homepage: https://github.com/camfort/verifiable-expressions#readme-bug-reports: https://github.com/camfort/verifiable-expressions/issues-author: Bradley Hardy-maintainer: madgenhetic@gmail.com-license: Apache-2.0-license-file: LICENSE-build-type: Simple-extra-source-files:- CHANGELOG.md--source-repository head- type: git- location: https://github.com/camfort/verifiable-expressions--library- exposed-modules:- Language.Expression- Language.Expression.Example- Language.Expression.Choice- Language.Expression.Scope- Language.Expression.GeneralOp- Language.Expression.Prop- Language.Expression.Pretty- Language.Expression.Util- Language.Verification- Language.Verification.Conditions- Language.Verification.Core- Language.While.Hoare- Language.While.Hoare.Prover- Language.While.Syntax- Language.While.Syntax.Sugar- Language.While.Test- other-modules:- Paths_verifiable_expressions- ghc-options: -Wall- build-depends:- base >=4.9 && <5- , containers >=0.5.7 && <0.7- , lens >=4.16.1 && <5.1- , mtl >=2.0 && <3- , sbv >=8.0 && <9- , transformers ==0.5.*- , union >=0.1.1 && <0.2- , vinyl >=0.9 && <0.14- 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: verifiable-expressions +version: 0.6.2 +x-revision: 1 +synopsis: An intermediate language for Hoare logic style verification. +description: A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it. +category: Language +homepage: https://github.com/camfort/verifiable-expressions#readme +bug-reports: https://github.com/camfort/verifiable-expressions/issues +author: Bradley Hardy +maintainer: madgenhetic@gmail.com +license: Apache-2.0 +license-file: LICENSE +build-type: Simple +extra-source-files: + CHANGELOG.md + +source-repository head + type: git + location: https://github.com/camfort/verifiable-expressions + +library + exposed-modules: + Language.Expression + Language.Expression.Example + Language.Expression.Choice + Language.Expression.Scope + Language.Expression.GeneralOp + Language.Expression.Prop + Language.Expression.Pretty + Language.Expression.Util + Language.Verification + Language.Verification.Conditions + Language.Verification.Core + Language.While.Hoare + Language.While.Hoare.Prover + Language.While.Syntax + Language.While.Syntax.Sugar + Language.While.Test + other-modules: + Paths_verifiable_expressions + ghc-options: -Wall + build-depends: + base >=4.9 && <5 + , containers >=0.5.7 && <0.7 + , lens >=4.16.1 && <5.3 + , mtl >=2.0 && <3 + , sbv >=8.0 && <10 + , transformers >=0.5 && <0.7 + , union >=0.1.2 && <0.2 + , vinyl >=0.14.3 && <0.15 + default-language: Haskell2010