Cabal revisions of smtlib2-1.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: smtlib2-Version: 1.0-Author: Henning Günther <guenther@forsyte.at>-Maintainer: guenther@forsyte.at-Synopsis: A type-safe interface to communicate with an SMT solver.-Stability: provisional-Category: SMT, Formal Methods, Theorem Provers, Symbolic Computation-License: GPL-3-License-File: LICENSE-Build-Type: Simple-Cabal-Version: >=1.6-Extra-Source-Files:- README.org--Source-Repository head- Type: git- Location: https://github.com/hguenther/smtlib2.git--Library- Build-Depends: base >= 4 && < 5, constraints, mtl, containers, template-haskell, dependent-sum, dependent-map- Extensions:- GADTs- FlexibleContexts- FlexibleInstances- ExistentialQuantification- KindSignatures- DataKinds- TypeFamilies- TypeOperators- MultiParamTypeClasses- ScopedTypeVariables- RankNTypes- UndecidableInstances- GeneralizedNewtypeDeriving- DeriveDataTypeable- CPP- PolyKinds- StandaloneDeriving- EmptyDataDecls- PatternSynonyms- ViewPatterns- TemplateHaskell- QuasiQuotes- GHC-Options: -fwarn-unused-imports -fprint-explicit-kinds- Exposed-Modules:- Language.SMTLib2.Internals.Backend- Language.SMTLib2.Internals.Embed- Language.SMTLib2.Internals.Expression- Language.SMTLib2.Internals.Monad- Language.SMTLib2.Internals.Type- Language.SMTLib2.Internals.Type.Nat- Language.SMTLib2.Internals.Type.List- Language.SMTLib2.Internals.Type.Struct- Language.SMTLib2.Strategy- Language.SMTLib2- Language.SMTLib2.Internals.Evaluate- Language.SMTLib2.Internals.Interface- Language.SMTLib2.Internals.Proof- Language.SMTLib2.Internals.Proof.Verify+Name: smtlib2 +Version: 1.0 +x-revision: 1 +Author: Henning Günther <guenther@forsyte.at> +Maintainer: guenther@forsyte.at +Synopsis: A type-safe interface to communicate with an SMT solver. +Stability: provisional +Category: SMT, Formal Methods, Theorem Provers, Symbolic Computation +License: GPL-3 +License-File: LICENSE +Build-Type: Simple +Cabal-Version: >=1.6 +Extra-Source-Files: + README.org + +Source-Repository head + Type: git + Location: https://github.com/hguenther/smtlib2.git + +Library + Build-Depends: base >= 4 && < 4.16, constraints, mtl, containers, template-haskell, dependent-sum, dependent-map + Extensions: + GADTs + FlexibleContexts + FlexibleInstances + ExistentialQuantification + KindSignatures + DataKinds + TypeFamilies + TypeOperators + MultiParamTypeClasses + ScopedTypeVariables + RankNTypes + UndecidableInstances + GeneralizedNewtypeDeriving + DeriveDataTypeable + CPP + PolyKinds + StandaloneDeriving + EmptyDataDecls + PatternSynonyms + ViewPatterns + TemplateHaskell + QuasiQuotes + GHC-Options: -fwarn-unused-imports -fprint-explicit-kinds + Exposed-Modules: + Language.SMTLib2.Internals.Backend + Language.SMTLib2.Internals.Embed + Language.SMTLib2.Internals.Expression + Language.SMTLib2.Internals.Monad + Language.SMTLib2.Internals.Type + Language.SMTLib2.Internals.Type.Nat + Language.SMTLib2.Internals.Type.List + Language.SMTLib2.Internals.Type.Struct + Language.SMTLib2.Strategy + Language.SMTLib2 + Language.SMTLib2.Internals.Evaluate + Language.SMTLib2.Internals.Interface + Language.SMTLib2.Internals.Proof + Language.SMTLib2.Internals.Proof.Verify