Permalink
Browse files

Cybele package added

  • Loading branch information...
1 parent cb787fa commit e5a7fc1a6ce732f29fe29c4fa0311c9a468eba07 @clarus clarus committed Oct 26, 2013
Showing with 10 additions and 0 deletions.
  1. +1 −0 .gitignore
  2. +1 −0 packages/cybele.1.2dev/descr
  3. +7 −0 packages/cybele.1.2dev/opam
  4. +1 −0 packages/cybele.1.2dev/url
View
@@ -0,0 +1 @@
+*~
@@ -0,0 +1 @@
+Simpler proofs by reflection or OCaml certificates
@@ -0,0 +1,7 @@
+opam-version: "1.1"
+maintainer: "dev@clarus.me"
+build: [
+ ["./configure.sh"]
+ [make]
+ [make "install"]
+]
@@ -0,0 +1 @@
+archive: "https://github.com/clarus/cybele.git"

0 comments on commit e5a7fc1

Please sign in to comment.