From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 .bintray.json | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .bintray.json

(limited to '.bintray.json')

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
+}
-- 
cgit v1.2.3