[27287] in Source-Commits
debathena-thirdparty-languages commit: Recommend proofgeneral-coq and cleanup Depends
daemon@ATHENA.MIT.EDU (Jonathan D Reed)
Thu Sep 19 10:57:31 2013
Date: Thu, 19 Sep 2013 10:57:23 -0400
From: Jonathan D Reed <jdreed@MIT.EDU>
Message-Id: <201309191457.r8JEvNbY029051@drugstore.mit.edu>
To: source-commits@MIT.EDU
https://github.com/mit-athena/debathena-thirdparty-languages/commit/ef998273731379f9149a279deb13b9a4d41edd2f
commit ef998273731379f9149a279deb13b9a4d41edd2f
Author: Jonathan Reed <jdreed@mit.edu>
Date: Thu Sep 12 13:07:02 2013 -0400
Recommend proofgeneral-coq and cleanup Depends
Split the dependencies added in 5a14fba to one package per line.
Add a recommendation on proofgeneral-coq, which is in Precise,
but not wheezy.
debian/control | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/debian/control b/debian/control
index 39428f1..08bc5ff 100644
--- a/debian/control
+++ b/debian/control
@@ -44,14 +44,17 @@ Depends: cmake,
flex,
ipython-notebook,
libzmq1,
- coq, coqide, proofgeneral,
+ coq,
+ coqide,
+ proofgeneral,
${debathena-maybe-gccgo},
${misc:Depends}
Recommends:
mit-scheme,
mit-scheme-doc,
eclipse-cdt,
- clisp-dev
+ clisp-dev,
+ proofgeneral-coq
Description: Debathena metapackage for third-party languages software
This includes a set of subpackages of commonly-used third-party software
within the languages domain. It is intended for cluster machines though usable
