[27286] in Source-Commits
debathena-thirdparty-languages commit: Add coq, coqide, and proofgeneral
daemon@ATHENA.MIT.EDU (Jonathan D Reed)
Thu Sep 19 10:57:28 2013
Date: Thu, 19 Sep 2013 10:57:21 -0400
From: Jonathan D Reed <jdreed@MIT.EDU>
Message-Id: <201309191457.r8JEvLX5029031@drugstore.mit.edu>
To: source-commits@MIT.EDU
https://github.com/mit-athena/debathena-thirdparty-languages/commit/5a14fba5b360a1839a8d992dc5b40d84b6eb7338
commit 5a14fba5b360a1839a8d992dc5b40d84b6eb7338
Author: Jonathan Reed <jdreed@mit.edu>
Date: Thu Sep 12 12:03:31 2013 -0400
Add coq, coqide, and proofgeneral
6.820 requested these packages, per (Trac: #1395)
debian/changelog | 6 ++++++
debian/control | 1 +
2 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 2c1e807..defc0ee 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+debathena-thirdparty-languages (1.2.3) unstable; urgency=low
+
+ * Add coq, coqide, and proofgeneral for 6.820 (Trac: #1395)
+
+ -- Jonathan Reed <jdreed@mit.edu> Thu, 12 Sep 2013 12:03:09 -0400
+
debathena-thirdparty-languages (1.2.2) unstable; urgency=low
* Switch from control.in to control (Trac: #561)
diff --git a/debian/control b/debian/control
index 3d6d8b5..39428f1 100644
--- a/debian/control
+++ b/debian/control
@@ -44,6 +44,7 @@ Depends: cmake,
flex,
ipython-notebook,
libzmq1,
+ coq, coqide, proofgeneral,
${debathena-maybe-gccgo},
${misc:Depends}
Recommends:
