Accepted coq 8.4dfsg-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 22 Sep 2012 12:43:13 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4dfsg-2
Distribution: experimental
Urgency: low
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.4dfsg-2) experimental; urgency=low
.
* Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output
Checksums-Sha1:
de1ffc5b0cf4c046b61589e86d5d949e19aa4ec0 2308 coq_8.4dfsg-2.dsc
ac547bd4b3a233dcc45c72f94e65483f1ef60b2b 17716 coq_8.4dfsg-2.debian.tar.gz
54cbc4f599b750f1e33b9133b1d9f68918ca04ce 6048362 coq_8.4dfsg-2_amd64.deb
385a29422626506931c5cd84fc23d871cbf2f17b 1066874 coqide_8.4dfsg-2_amd64.deb
87e97931b5ff2faac276ce8df47cd8e98576b507 66363388 coq-theories_8.4dfsg-2_all.deb
8a27ee1562cc7d5a74472a7d1177a02e167e90e4 2250686 libcoq-ocaml_8.4dfsg-2_amd64.deb
eaae1f70983d86e65026dd40a4c32f64bcd7af38 5778552 libcoq-ocaml-dev_8.4dfsg-2_amd64.deb
Checksums-Sha256:
ad70e775e26e9728c1594d8ea2693f2e0a6298ba90b9d65026eafcd1134e9c98 2308 coq_8.4dfsg-2.dsc
37cb2d356ff04104586475f9d9908d8a5f833b5350b9c35fdb3d1a9796c3dc07 17716 coq_8.4dfsg-2.debian.tar.gz
cf46de2087f6586931a7e926b465329ab276522ff0283c19bec29375beee1a20 6048362 coq_8.4dfsg-2_amd64.deb
588d35bfd760419a443f820cb815560ff9d401addaa061f9cb71a59bc4e6858e 1066874 coqide_8.4dfsg-2_amd64.deb
4ee95294eb35a2c5a52fe20eccd5c92d10880fdb4cffc040a9a28541c259cae3 66363388 coq-theories_8.4dfsg-2_all.deb
af2d6deaef386fc4f5a8d2001a3283e323d4aff4e87d3e50988bfc37e99fa0d3 2250686 libcoq-ocaml_8.4dfsg-2_amd64.deb
4804b5dc9a1fe29e5dee150a9467d7ae0a3a7bbd79584621bdb1fe8a4aebbe90 5778552 libcoq-ocaml-dev_8.4dfsg-2_amd64.deb
Files:
40d34da3489d81103c18ef93cf138e99 2308 math optional coq_8.4dfsg-2.dsc
5364530feef30faed8412e6fc6a5ee72 17716 math optional coq_8.4dfsg-2.debian.tar.gz
60cb66a45ec3ad219a5e8a034ecf5956 6048362 math optional coq_8.4dfsg-2_amd64.deb
4c1692730a5b2ce734cdb29acde0d578 1066874 math optional coqide_8.4dfsg-2_amd64.deb
0b7e072e9a7cd98d1de0cc4cf400bcd9 66363388 math optional coq-theories_8.4dfsg-2_all.deb
a9f7f56e8bf3f496be5a49f3739b1a7b 2250686 ocaml optional libcoq-ocaml_8.4dfsg-2_amd64.deb
ded662a53d1b8116090a634f506e5267 5778552 ocaml optional libcoq-ocaml-dev_8.4dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJQXZ9/AAoJEHhT2k1JiBrTm6wP/2KN69paHBYyIpo52IyMYLY1
CWqTOMen3pCGMURPkYRxr4tBVKRasVpoaxFTCG9GATwnJ/VvqXHGjQ7Rf9M2om2j
zX+hug5l6G5CwRH/jwH6Fd2DEdSIlGQRKO7KICAdTiHV1IA08wxRNpdRjcNsqefK
of/3w/z7xzjwmpu9nr5ki/lB/glRxgMcxmIGOWPtNFD6evuvo+9Tkyy46PTebToD
hw7iM190rZx4BC/Kg00oJN2mG1n62u8f4nHCamJxK0xlSQZeL2ZLsHwEdVPnbUIW
dAilKwQm/oJg420/KyD/VFflF4xjzvitNGue8MB0u09+nD6k2ybcVhlBopR2HiPu
JDJtwAH8FjNxm3C8F7bnE0SM1IxE0zn8XTdgU2EowIXjoB4ifB7btAJq2yLuuqYW
u9Jhb5GUWheVgRYsp8k6bM2ugyp5kSqLETHn39gczL/qReqU6MSag7MtWK0p7467
KwybhVqK8LE0oHs2PkQ5OBOo+hSHX7kVLpa5ps1sa6cvLaEV1du+n6qZH9XvBhcj
E0Fdttltm6ADX2R96YQB5iEmvJ71d4budZBGH0afue1HsMEfwBEDcCQdg7c9obHN
pglSyxwPyA+tVVyvYcdhTE/TR5MgQ6njGr8Mbgj8T3+UsuHYmI3Fh5RqBqIBEzKO
LOlgyiI2FZM8aI0nF1uj
=2k5O
-----END PGP SIGNATURE-----
Reply to: