Bug#755953: marked as done (coq: Updated packaging for upstream release 8.4pl4)
Your message dated Sun, 27 Jul 2014 15:34:55 +0000
with message-id <E1XBQTP-0008Kg-Qe@franck.debian.org>
and subject line Bug#755953: fixed in coq 8.4pl4dfsg-1
has caused the Debian Bug report #755953,
regarding coq: Updated packaging for upstream release 8.4pl4
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
755953: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=755953
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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-----
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.4pl4dfsg-1
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 755953@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 27 Jul 2014 15:25:03 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4pl4dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 755953
Changes:
coq (8.4pl4dfsg-1) unstable; urgency=medium
.
* New upstream release (Closes: #755953)
* Switch debian/copyright to Format 1.0
* Bump Standards-Version to 3.9.5
* Bump debhelper compat level to 9
Checksums-Sha1:
a75f7b2f7ff6e0085b4b91c4e3b4234db3a4a0d2 2374 coq_8.4pl4dfsg-1.dsc
7fb87691df89e4faf8676d1896a34de5024e6ade 3527076 coq_8.4pl4dfsg.orig.tar.gz
e67c496efc15232e502c0ea386ecf185b856acce 15712 coq_8.4pl4dfsg-1.debian.tar.xz
9337983fb031d999f8a6104437ce5ad09ea0c67b 4047862 coq_8.4pl4dfsg-1_amd64.deb
57e67381f6ac3d8461ca6f39dd4303adb6891340 797340 coqide_8.4pl4dfsg-1_amd64.deb
404cb5b9362ab0062e4f15b9c799d239d70215c7 32177364 coq-theories_8.4pl4dfsg-1_all.deb
8b8d9566d0c2fd3aa1e220584665f21ec219653f 1637886 libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
7e4401bfa532255e1fd2ea69f0d054a77e9b20f6 3780318 libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
Checksums-Sha256:
b7be5ae544d0e944b093f4376ebee453cae5e5735c20368a3dbc5cae2341f59c 2374 coq_8.4pl4dfsg-1.dsc
ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 3527076 coq_8.4pl4dfsg.orig.tar.gz
8967ff8e6267fb768aa9146c4bbebaae3bbb61d376d2f308fccaf76a8dab7aa4 15712 coq_8.4pl4dfsg-1.debian.tar.xz
8b4aa534f62853bfb79d58cbb7707681fce195a6aed05e7d45a86d9847ded161 4047862 coq_8.4pl4dfsg-1_amd64.deb
8e18ffcff3429673a72e457073cc2e031be53b2a961015d98a1554eda81aab2d 797340 coqide_8.4pl4dfsg-1_amd64.deb
9720678a07e98b85fe8dd94270b1f550f3aae7e090c8c358e88db4037d16eac6 32177364 coq-theories_8.4pl4dfsg-1_all.deb
59058ece50b1a779dd0de6d7a8f9a02f7e03b9b1f30a604ad744769bda86ad56 1637886 libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
2e1a4769004c2dcb0b21f8b21bcebd932323b35f1ab7584cd730894c3d937ce9 3780318 libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
Files:
7f267907f07fd256e17390829ee3a10f 4047862 math optional coq_8.4pl4dfsg-1_amd64.deb
a75119aa2590aff8c9abdf3b4149a1d8 797340 math optional coqide_8.4pl4dfsg-1_amd64.deb
42cad4525a1f78c1ecdedcf57e6545fd 32177364 math optional coq-theories_8.4pl4dfsg-1_all.deb
810b6d652accb33e49a66229c8073797 1637886 ocaml optional libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
c017ff21bdebc69d5175e542b26ece18 3780318 ocaml optional libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
da71b622a2bb49825bae4a0e52ba044e 2374 math optional coq_8.4pl4dfsg-1.dsc
e01be807904a8e60046486eba8f13f59 3527076 math optional coq_8.4pl4dfsg.orig.tar.gz
5e3bec8f79829315f8352219c56a6916 15712 math optional coq_8.4pl4dfsg-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJT1Rn7AAoJEHhT2k1JiBrT4usP/itwB3antCCCOHnbbYKQNFZ0
CbrAJvRzKjOgcx9qzGNWfUeOQt2B3gGHyyxxLTy/tr03RIVZ7ATTHq2D2krbcYqN
JPwPHhQURC8P5pJMvAH5fCC6NZ1X2qaUlbySM+ErtbldgSqJOHZxfnzz18Qc0bxP
8ExBh08ohLlCqAkaSUkRNVhiwD+Pv8e0yaQ3Y6nBKDHRxFfTJPpD6IDiUrMmQ+gZ
WV6HwXVnEQEu68OTgA6p1Ote28VoWcGSQhLJyT5adO2CpBMn2PJpKosy+G0Gaaeu
BgYh07q0QhRfFSRjvWCBAzn8rctSiQeFY+K7CKF96R/9ezMH/j+BAA/WrXiKvI2t
QTCsrqPTj0oAA8GqMBpTT9LDbTBOAKYk0nLR3b1UZ09L6Kpu5w8yEqHZDqS5zWP2
yIJR3ny5HIbppB+J7taRUyfdg2jqFHDqQKw8n4FrOcCufEKV2UHTf3M3xkyO+nhO
WTsl57Qkreh5aq4e3ZxXsg9f3nZEkGOg618dVMa5AVH6wNjunOZ2n34YsG7RMato
5QS9Xpne2iClFl1VVkly0BgUi4fu63lbajTeDI/k2LDV8QL8qflP4GEd/MTBJbap
AzzeNQhauJVs5u9Rb5uYsddNS1PFPwV+ubXHf9tkAgEzBqDshu9Uadcdkiqyi4Wl
Xx9xCOmDfloY2b5iOAKB
=RMDF
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: