Merge branch 'stack-logic-tptp-0.4.7.0'

msakai · Feb 18, 2020 · 9142307 · 9142307
2 parents 0870624 + 5c35640
commit 9142307
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/stack-travis-ghc-8.0.yaml b/stack-travis-ghc-8.0.yaml
@@ -44,7 +44,7 @@ extra-deps:
 - intern-0.9.1.4
 - queue-0.1.2
 - OptDir-0.0.3
-- logic-TPTP-0.4.6.0
+- logic-TPTP-0.4.7.0
 - data-interval-2.0.1
 - extended-reals-0.2.3.0
 - finite-field-0.9.0

diff --git a/stack-travis-ghc-8.2.yaml b/stack-travis-ghc-8.2.yaml
@@ -43,7 +43,7 @@ packages:
 extra-deps:
 - queue-0.1.2
 - OptDir-0.0.3
-- logic-TPTP-0.4.6.0
+- logic-TPTP-0.4.7.0
 - data-interval-2.0.1
 - extended-reals-0.2.3.0
 - finite-field-0.9.0

diff --git a/stack-travis-ghc-8.4.yaml b/stack-travis-ghc-8.4.yaml
@@ -44,7 +44,7 @@ extra-deps:
 - multiset-0.3.4.1
 - queue-0.1.2
 - OptDir-0.0.3
-- logic-TPTP-0.4.6.0
+- logic-TPTP-0.4.7.0
 - data-interval-2.0.1
 - extended-reals-0.2.3.0
 - finite-field-0.9.0

diff --git a/stack-travis-ghc-8.6.yaml b/stack-travis-ghc-8.6.yaml
@@ -44,9 +44,9 @@ extra-deps:
 - multiset-0.3.4.1
 - queue-0.1.2
 - OptDir-0.0.3
-#- logic-TPTP-0.4.6.0
-- git: https://github.com/msakai/logic-TPTP.git
-  commit: 9041314569aff4117c0da677f2af04614caf1aa5
+- logic-TPTP-0.4.7.0
+#- git: https://github.com/msakai/logic-TPTP.git
+#  commit: 9041314569aff4117c0da677f2af04614caf1aa5
 - data-interval-2.0.1
 - extended-reals-0.2.3.0
 - finite-field-0.9.0

diff --git a/stack-travis-ghc-8.8.yaml b/stack-travis-ghc-8.8.yaml
@@ -44,9 +44,9 @@ extra-deps:
 - multiset-0.3.4.1
 - queue-0.1.2
 - OptDir-0.0.3
-#- logic-TPTP-0.4.6.0
-- git: https://github.com/msakai/logic-TPTP.git
-  commit: 9041314569aff4117c0da677f2af04614caf1aa5
+- logic-TPTP-0.4.7.0
+#- git: https://github.com/msakai/logic-TPTP.git
+#  commit: 9041314569aff4117c0da677f2af04614caf1aa5
 - extended-reals-0.2.3.0
 - finite-field-0.9.0
 - pseudo-boolean-0.1.8.0

diff --git a/stack.yaml b/stack.yaml
@@ -44,9 +44,9 @@ extra-deps:
 - multiset-0.3.4.1
 - queue-0.1.2
 - OptDir-0.0.3
-#- logic-TPTP-0.4.6.0
-- git: https://github.com/msakai/logic-TPTP.git
-  commit: 9041314569aff4117c0da677f2af04614caf1aa5
+- logic-TPTP-0.4.7.0
+#- git: https://github.com/msakai/logic-TPTP.git
+#  commit: 9041314569aff4117c0da677f2af04614caf1aa5
 - data-interval-2.0.1
 - extended-reals-0.2.3.0
 - finite-field-0.9.0