Accepted coq 8.4pl4dfsg-1 (source amd64 all)
-----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-----