Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Cybele package added

  • Loading branch information...
commit e5a7fc1a6ce732f29fe29c4fa0311c9a468eba07 1 parent cb787fa
@clarus clarus authored
View
1  .gitignore
@@ -0,0 +1 @@
+*~
View
1  packages/cybele.1.2dev/descr
@@ -0,0 +1 @@
+Simpler proofs by reflection or OCaml certificates
View
7 packages/cybele.1.2dev/opam
@@ -0,0 +1,7 @@
+opam-version: "1.1"
+maintainer: "dev@clarus.me"
+build: [
+ ["./configure.sh"]
+ [make]
+ [make "install"]
+]
View
1  packages/cybele.1.2dev/url
@@ -0,0 +1 @@
+archive: "https://github.com/clarus/cybele.git"
Please sign in to comment.
Something went wrong with that request. Please try again.