From d81b6bd2bcd8173ca773d9c661af082fc3c4bb3c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 6 Mar 2014 11:10:06 +0100
Subject: [PATCH] META file

---
 .gitignore | 1 +
 META       | 6 ++++++
 2 files changed, 7 insertions(+)
 create mode 100644 META

diff --git a/.gitignore b/.gitignore
index c2a689aa..8f14b7ea 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 *.cmxs
 *.o
 *.a
+*.native
 *.log
 *.status
 Makefile
diff --git a/META b/META
new file mode 100644
index 00000000..15ee7786
--- /dev/null
+++ b/META
@@ -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"