From ae5e9c773f1f60517e21bed818e71035560768d1 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <martinez@nsup.org>
Date: Wed, 21 Dec 2016 19:36:23 +0100
Subject: [PATCH 1/2] Add pyml.20161220

---
 packages/pyml/pyml.20161220/descr | 38 +++++++++++++++++++++++++++++++
 packages/pyml/pyml.20161220/opam  | 17 ++++++++++++++
 packages/pyml/pyml.20161220/url   |  3 +++
 3 files changed, 58 insertions(+)
 create mode 100644 packages/pyml/pyml.20161220/descr
 create mode 100644 packages/pyml/pyml.20161220/opam
 create mode 100644 packages/pyml/pyml.20161220/url

diff --git a/packages/pyml/pyml.20161220/descr b/packages/pyml/pyml.20161220/descr
new file mode 100644
index 000000000000..4358517b577d
--- /dev/null
+++ b/packages/pyml/pyml.20161220/descr
@@ -0,0 +1,38 @@
+``py.ml``: OCaml bindings for Python
+====================================
+
+``py.ml`` provides OCaml bindings for ``Python 2`` and ``Python
+3``. This library subsumes the ``pycaml`` library, which is no longer
+actively maintained.
+
+*Homepage:* http://pyml.gforge.inria.fr
+
+*Documentation:* http://pyml.gforge.inria.fr/doc
+
+*Git:* ``git clone http://pyml.gforge.inria.fr/pyml.git``
+
+*Git Repository Browser:* http://pyml.gforge.inria.fr/browser
+
+*Tracker for bug reports and feature requests:*
+http://pyml.gforge.inria.fr/tracker
+
+*OPAM:* ``opam install pyml``
+
+The Python library is linked at runtime and the same executable can be
+run in a Python 2 or a Python 3 environment. ``py.ml`` does not
+require any Python library at compile time, nor any other
+dependency.
+
+Bindings are split in three modules:
+
+- ``Py`` provides the initialization functions and some high-level
+  bindings, with error handling and naming conventions closer to OCaml
+  usages.
+
+- ``Pycaml`` provides a signature close to the old ``Pycaml``
+  module, so as to ease migration.
+
+- ``Pywrappers`` provides low-level bindings, which follow closely the
+  conventions of the C bindings for Python. Submodules
+  ``Pywrappers.Python2`` and ``Pywrappers.Python3`` contain version-specific
+  bindings.
diff --git a/packages/pyml/pyml.20161220/opam b/packages/pyml/pyml.20161220/opam
new file mode 100644
index 000000000000..e5931ec20fd1
--- /dev/null
+++ b/packages/pyml/pyml.20161220/opam
@@ -0,0 +1,17 @@
+opam-version: "1.2"
+name: "pyml"
+version: "20161220"
+maintainer: "Thierry Martinez <martinez@nsup.org>"
+authors: "Thierry Martinez <martinez@nsup.org>"
+homepage: "http://pyml.gforge.inria.fr"
+bug-reports: "http://pyml.gforge.inria.fr/tracker"
+license: "BSD"
+dev-repo: "https://scm.gforge.inria.fr/anonscm/git/pyml/pyml.git"
+build: [
+  [make]
+]
+install: [make "install"]
+remove: ["ocamlfind" "remove" "pyml"]
+depends: [
+  "ocamlfind" {build}
+]
diff --git a/packages/pyml/pyml.20161220/url b/packages/pyml/pyml.20161220/url
new file mode 100644
index 000000000000..016ed3db4bc7
--- /dev/null
+++ b/packages/pyml/pyml.20161220/url
@@ -0,0 +1,3 @@
+http: "http://pyml.gforge.inria.fr/pyml-20161220.tar.gz"
+checksum: "cb7e2060f62b36d3d76bfc39cb1afb38"
+

From aa8743dd071552b3267c0d9bd990711b49c7f79a Mon Sep 17 00:00:00 2001
From: Thierry Martinez <martinez@nsup.org>
Date: Sat, 24 Dec 2016 00:31:28 +0100
Subject: [PATCH 2/2] Ensure compatibility with 3.12.1

(incompatibility raised by Thomas Gazagnaire)
---
 packages/pyml/pyml.20161220/url                      | 3 ---
 packages/pyml/{pyml.20161220 => pyml.20161224}/descr | 0
 packages/pyml/{pyml.20161220 => pyml.20161224}/opam  | 2 +-
 packages/pyml/pyml.20161224/url                      | 3 +++
 4 files changed, 4 insertions(+), 4 deletions(-)
 delete mode 100644 packages/pyml/pyml.20161220/url
 rename packages/pyml/{pyml.20161220 => pyml.20161224}/descr (100%)
 rename packages/pyml/{pyml.20161220 => pyml.20161224}/opam (95%)
 create mode 100644 packages/pyml/pyml.20161224/url

diff --git a/packages/pyml/pyml.20161220/url b/packages/pyml/pyml.20161220/url
deleted file mode 100644
index 016ed3db4bc7..000000000000
--- a/packages/pyml/pyml.20161220/url
+++ /dev/null
@@ -1,3 +0,0 @@
-http: "http://pyml.gforge.inria.fr/pyml-20161220.tar.gz"
-checksum: "cb7e2060f62b36d3d76bfc39cb1afb38"
-
diff --git a/packages/pyml/pyml.20161220/descr b/packages/pyml/pyml.20161224/descr
similarity index 100%
rename from packages/pyml/pyml.20161220/descr
rename to packages/pyml/pyml.20161224/descr
diff --git a/packages/pyml/pyml.20161220/opam b/packages/pyml/pyml.20161224/opam
similarity index 95%
rename from packages/pyml/pyml.20161220/opam
rename to packages/pyml/pyml.20161224/opam
index e5931ec20fd1..fbee86a4d5f5 100644
--- a/packages/pyml/pyml.20161220/opam
+++ b/packages/pyml/pyml.20161224/opam
@@ -1,6 +1,5 @@
 opam-version: "1.2"
 name: "pyml"
-version: "20161220"
 maintainer: "Thierry Martinez <martinez@nsup.org>"
 authors: "Thierry Martinez <martinez@nsup.org>"
 homepage: "http://pyml.gforge.inria.fr"
@@ -15,3 +14,4 @@ remove: ["ocamlfind" "remove" "pyml"]
 depends: [
   "ocamlfind" {build}
 ]
+version: "20161224"
diff --git a/packages/pyml/pyml.20161224/url b/packages/pyml/pyml.20161224/url
new file mode 100644
index 000000000000..e0ba9f823a73
--- /dev/null
+++ b/packages/pyml/pyml.20161224/url
@@ -0,0 +1,3 @@
+http: "http://pyml.gforge.inria.fr/pyml-20161224.tar.gz"
+checksum: "ea8f445792ba5c8a7d5b6f4bf6bb31cd"
+