Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 22 Oct 2015 23:38:19 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.4pl4dfsg-3
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
Changes:
coq (8.4pl4dfsg-3) unstable; urgency=medium
.
* Move initial.coq to coq-theories, to avoid inconsistency errors on
bytecode architectures
Checksums-Sha1:
7fe21017099ebbc501d982e274c8ecf5cba7408c 2374 coq_8.4pl4dfsg-3.dsc
d0407f54b06409a90588b979021fdf3d7b3282a3 16052 coq_8.4pl4dfsg-3.debian.tar.xz
d2a25e2dfde484b78aaf55d3827a250a7c1359f9 32296098 coq-theories_8.4pl4dfsg-3_all.deb
6ebe85a3993ec4bcab79cd6abea6ba04b8341acf 3974732 coq_8.4pl4dfsg-3_amd64.deb
1c170c33a7270502654677b604ef7f285bb262cf 798214 coqide_8.4pl4dfsg-3_amd64.deb
d2071125838f605ef39c7d2aa599a6759f4ae64d 3824872 libcoq-ocaml-dev_8.4pl4dfsg-3_amd64.deb
1617008a4efab6acf5d40e29d05da66ba690c4d1 1555364 libcoq-ocaml_8.4pl4dfsg-3_amd64.deb
Checksums-Sha256:
926aa7adccb56c2f592b0590fdf7eb6064afafb783b51e81a0d1aea82cc1f98f 2374 coq_8.4pl4dfsg-3.dsc
8b87dc4930ca49ad2b563f431060e232ae64077065721e0a4bcd84b734bcd847 16052 coq_8.4pl4dfsg-3.debian.tar.xz
d34a7269e9fb68f8fb939a960f4b8013b256c3234f1f5f6f7455d560b1391147 32296098 coq-theories_8.4pl4dfsg-3_all.deb
9b25c1f56d92bcc9a91f691830d7f8463052e1e8240cba27c900b85c11162840 3974732 coq_8.4pl4dfsg-3_amd64.deb
d1a2f1d537e500f048b06d253fb1e128643694c7f0d466baab9b84a5dca47363 798214 coqide_8.4pl4dfsg-3_amd64.deb
99128c4d56d695da366e2f3902c422d1fd4fe86e7ad0856bc576d55d022d1b5b 3824872 libcoq-ocaml-dev_8.4pl4dfsg-3_amd64.deb
a43ba31ab0ac2dc09c9b2ef4a8912824e2af6c59ccec42ef54f0b7a0ba10450a 1555364 libcoq-ocaml_8.4pl4dfsg-3_amd64.deb
Files:
59b077a726dc1b77548157b563082d37 2374 math optional coq_8.4pl4dfsg-3.dsc
b3ed07cfb6e80f311f4e4d65fabf40c0 16052 math optional coq_8.4pl4dfsg-3.debian.tar.xz
210ec1630fe74009df4f00e6ac289d36 32296098 math optional coq-theories_8.4pl4dfsg-3_all.deb
29e7c18dde8e11cc2b807587f5299dfd 3974732 math optional coq_8.4pl4dfsg-3_amd64.deb
b825017554777536426d576b4501a319 798214 math optional coqide_8.4pl4dfsg-3_amd64.deb
43c480ab29c4a280828ae8a044b9ab35 3824872 ocaml optional libcoq-ocaml-dev_8.4pl4dfsg-3_amd64.deb
63f2a87ecb5d2ec96a533020e7b4f560 1555364 ocaml optional libcoq-ocaml_8.4pl4dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJWKWUCAAoJEHhT2k1JiBrTzG0P/RPsmOgyCAVOg/p854FRORK4
Xe4svn9VvdGXWD9wRBj2yKKjb71CEbckr7ugQr499m1Br2LlOl79jotQtW0icvAm
MbXLEai19cxzp5f0SHvC3N0D9GvCOADj7Bhd78zh126C5kWd2JiKjttA7byB6G4u
e07RLFP1NDhDoSo0itS7118L6rwCoUDKdPfFQUABU+/T3C2lAIsczZVRaB7fC3ki
HTb3iEvZqn0xhInCjqMCoKheRJZFzH94f9cCS70wEananZS8AinVWN051re/Ni7p
QZXc38hlUG/PPk72nk/0xo/+9JUVBpO1vm+RFsNXyR23hTAsTbq0iZTcRtUHBkYj
VM2zdGuqeED+1vv0FhLMMMtmt514r4vpdRKM2F+ugIA1LDYnnYjnEyVH+fp3QeHx
w1xof4PudlTxfcQUJTY6bLa87eQcvPA7yshBa4Qw7THru7HG9EpAkEzkYwcvPl4q
6fPHcl798G/qsdEungJfQ5HYcNUhVN8a5mXUE55NIABUGjazDTEiYzOJRaOUPBT3
gxTndJ+MdLSV5zIZGactQNFsIuWKAquH6p5eH7JCnRemGvnJzIPlyyXZmSKhJn4P
CMEE1naYLBzK/WLB8kHSFCe1LF69DhOxDxsACS+S6JFvti1Z56E6zxjt6a7rKmD8
XfBlFSMq9yO/mh3UEChe
=lqNx
-----END PGP SIGNATURE-----