stp 0.1.0.0 → 0.1.0.1
raw patch · 2 files changed
+7/−4 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
- CHANGELOG.md +3/−0
- stp.cabal +4/−4
CHANGELOG.md view
@@ -1,4 +1,7 @@ # Revision history for stp +## 0.1.0.1 -- 2018-11-21+* Second release, fixes build issue.+ ## 0.1.0.0 -- 2018-11-20 * First version.
stp.cabal view
@@ -1,5 +1,5 @@ name: stp-version: 0.1.0.0+version: 0.1.0.1 synopsis: Simple Theorem Prover copyright: (c) 2018 Boro Sitnikovski homepage: https://github.com/bor0/stp@@ -26,19 +26,19 @@ source-repository this type: git- tag: 0.1.0.0+ tag: 0.1.0.1 location: https://github.com/bor0/stp library exposed-modules: SimpleTheoremProver- build-depends: base >=4.11 && <4.12+ build-depends: base >=4 && <5 , containers ==0.5.11.0 hs-source-dirs: src default-language: Haskell2010 executable mu-test main-is: MU.hs- build-depends: base >=4.11 && <4.12+ build-depends: base >=4 && <5 , regex-compat ==0.95.1 , stp hs-source-dirs: example