[Python-apps-commits] r2841 - in packages/p9m4/trunk/debian (changelog control)
pcc-guest at users.alioth.debian.org
pcc-guest at users.alioth.debian.org
Sun May 3 16:44:52 UTC 2009
Date: Sunday, May 3, 2009 @ 16:44:51
Author: pcc-guest
Revision: 2841
debian/control: added DM-Upload-Allowed: yes
Modified:
packages/p9m4/trunk/debian/changelog
packages/p9m4/trunk/debian/control
Modified: packages/p9m4/trunk/debian/changelog
===================================================================
--- packages/p9m4/trunk/debian/changelog 2009-05-03 15:54:49 UTC (rev 2840)
+++ packages/p9m4/trunk/debian/changelog 2009-05-03 16:44:51 UTC (rev 2841)
@@ -18,6 +18,7 @@
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
64-bit platforms (closes: #526685)
+ * debian/control: added DM-Upload-Allowed: yes
-- Peter Collingbourne <peter at pcc.me.uk> Sun, 03 May 2009 16:00:55 +0100
Modified: packages/p9m4/trunk/debian/control
===================================================================
--- packages/p9m4/trunk/debian/control 2009-05-03 15:54:49 UTC (rev 2840)
+++ packages/p9m4/trunk/debian/control 2009-05-03 16:44:51 UTC (rev 2841)
@@ -8,6 +8,7 @@
Standards-Version: 3.8.1
Vcs-Svn: svn://svn.debian.org/python-apps/packages/p9m4/trunk/
Vcs-Browser: http://svn.debian.org/viewsvn/python-apps/packages/p9m4/trunk/
+DM-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Package: prover9-mace4
More information about the Python-apps-commits
mailing list