Updated version 8.8.2 from 'upstream/8.8.2'

with Debian dir a16bcf46abacaf1a684eda04f02555c984bf540d

1 files changed, 20 insertions, 0 deletions

diff --git a/.bintray.json b/.bintray.json
new file mode 100644
index 00000000..34a501e8
--- /dev/null
+++ b/.bintray.json
@@ -0,0 +1,20 @@
+{
+    "package": {
+        "name": "coq",
+        "repo": "coq",
+        "subject": "coq"
+    },
+
+    "version": {
+        "name": "8.8.2"
+    },
+
+    "files":
+        [
+        {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
+         "matrixParams": {
+             "override": 1 }
+        }
+        ],
+    "publish": true
+}