Bug#755953: coq: Updated packaging for upstream release 8.4pl4
Source: coq
Version: 8.4pl3dfsg-1
Severity: normal
Tags: patch
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Dear maintainer,
I’ve updated the Debian package for coq to the latest release, 8.4pl4.
My patch is enclosed; for your convenience, you may also download a dsc
from
http://web.mit.edu/bbaren/c/coq_8.4pl4dfsg-1_8mTczjy5.dsc
*** /tmp/coq-8.4pl4.patch
- --- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.4pl4dfsg-1) stable; urgency=low
+
+ * New upstream release
+
+ -- Benjamin Barenblat <bbaren@mit.edu> Sun, 29 Jun 2014 09:51:37 -0700
+
coq (8.4pl3dfsg-1) unstable; urgency=medium
* New upstream release
- --- a/debian/rules
+++ b/debian/rules
@@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT=
PACKAGES := $(shell dh_listpackages)
- -COQ_VERSION := 8.4pl3
+COQ_VERSION := 8.4pl4
COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQF8BAEBCgBmBQJT0WuGXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7EnsH/RbIv2/YAUT/V8S4axOyQjUl
VAFJnfULfyxx47ubOLkM06Nqh6ng24kAg856fZG+rvNbvEpP1ORSkEqqmDa8YRkW
baD8u2UVovYGVqtb9OkYd9lF4VWQPvlQieyqyFAJHdbGeWEXv9DXFuin9uRfGhog
w08cwFJcFsRDf6/0ph7aE0A8hEX6csHyaL0CDGzgO1M/Ns6/CXy1xeNaP2oooH/a
Z+9xVk/6jJsNg7m1FFOgEQZdCqitXDTcwRkKkH4hBw0aQxg6stkqCgHXIzV5YPgI
RdEaXOYcSLYY8WtBmLJ2jP8fx7W4t182Ui6wpdJLOaJ6Ggag2QBiUkqnM+N1oGA=
=Uer9
-----END PGP SIGNATURE-----
Reply to: