Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

use released 0.8.0-rc2

  • Loading branch information...
commit 4127b22def4666263c79692344d199ebea358d13 1 parent 98ad08e
Nada Amin namin authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  clojure-tapl/tapl/project.clj
2  clojure-tapl/tapl/project.clj
View
@@ -2,6 +2,6 @@
:description "TAPL in core.logic"
:url "https://github.com/namin/TAPL-in-miniKanren-cKanren-core.logic"
:dependencies [[org.clojure/clojure "1.4.0"]
- [org.clojure/core.logic "0.8.0-rc2-SNAPSHOT"]
+ [org.clojure/core.logic "0.8.0-rc2"]
[org.clojure/core.match "0.2.0-alpha11"]]
:dev-dependencies [[lein-swank "1.4.3"]])
Please sign in to comment.
Something went wrong with that request. Please try again.