Commits

Anonymous committed 411df44

update 2013/04/25

  • Participants
  • Parent commits 838d32e

Comments (0)

Files changed (12)

File packages/aez.0.3/descr

+Alt-Ergo Zero is an OCaml library for an SMT solver.
+
+This SMT solver is derived from Alt-Ergo. It uses an efficient SAT solver and
+supports the following quantifier free theories:
+    - Equality and uninterpreted functions
+    - Arithmetic (linear, non-linear, integer, real)
+    - Enumerated data-types
+
+This API makes heavy use of hash consing, in particular hash-consed strings.
+

File packages/aez.0.3/files/add-meta.patch

+--- /dev/null	2013-04-25 10:43:22.431382214 +0200
++++ META	2013-04-25 14:38:11.075664896 +0200
+@@ -0,0 +1,6 @@
++name="aez"
++version="0.3"
++description="Alt-Ergo Zero is an OCaml library for an SMT solver."
++requires="num unix"
++archive(byte) = "aez.cma"
++archive(native) = "aez.cmxa"

File packages/aez.0.3/opam

+opam-version: "1"
+maintainer: "sylvain.conchon [at] lri.fr"
+build: [
+    ["./configure"]
+    [make]
+    ["ocamlfind" "install" "aez" "aez.a" "aez.cmi" "aez.cma" "aez.cmxa" "META"]
+]
+remove: [
+    ["ocamlfind" "remove" "aez"]
+]
+depends: ["ocamlfind"]
+ocaml-version: [ >= "3.12" ]
+homepage: "http://cubicle.lri.fr/alt-ergo-zero/"
+patches: ["add-meta.patch"]

File packages/aez.0.3/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/aez.0.3.tar.gz"
+checksum: "42260d8e110defa9c8c5b6cc1eafa29f"

File packages/alt-ergo.0.95.1/TODO

+
+* Alt-Ergo install a gtksourceview-2.0 language-specs for its
+   language. I'm not sure it's used by gtk in the .opam directory.

File packages/alt-ergo.0.95.1/descr

+Automatic theorem prover dedicated to program verification

File packages/alt-ergo.0.95.1/files/alt-ergo.install

+bin: [
+  "alt-ergo.opt" {"alt-ergo"}
+]

File packages/alt-ergo.0.95.1/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+
+authors: ["Sylvain Conchon"
+          "Alain Mebsout"
+          "Mohamed Iguernelala"]
+license: "CeCILL-C"
+homepage: "http://alt-ergo.lri.fr/"
+
+build: [
+  ["autoconf"]
+  ["./configure" "-prefix" "%{prefix}%"]
+  [make]
+  [make "install" "MANDIR=%{man}%/man1"]
+]
+depends: [
+  "ocamlfind"
+  "ocamlgraph" {= "1.8.2"}
+]
+depopts: [
+  "lablgtk"
+]

File packages/alt-ergo.0.95.1/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/alt-ergo.0.95.1.tar.gz"
+checksum: "c0f1cbfdae04f1c37853ed5fd10154ec"

File packages/cryptokit.1.7/descr

+Cryptographic primitives library. 
+Cryptokit includes block ciphers (AES, DES, 3DES), stream ciphers (ARCfour),
+public-key crypto (RSA, DH), hashes (SHA-1, SHA-256), MACs, random number
+generation -- all presented with a compositional, extensible interface.

File packages/cryptokit.1.7/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+  [make]
+  [make "install"]
+]
+remove: [
+  ["ocamlfind" "remove" "cryptokit"]
+]
+depends: ["ocamlfind"]

File packages/cryptokit.1.7/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/cryptokit.1.7.tar.gz"
+checksum: "93db223a3d832cf047d56596de23d470"