Accepted coq 8.2~beta4+dfsg-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 15 Aug 2008 13:20:16 +0200
Source: coq
Binary: coq coqide coq-libs
Architecture: source all i386
Version: 8.2~beta4+dfsg-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 495165
Changes:
coq (8.2~beta4+dfsg-2) experimental; urgency=low
.
* [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
architectures (Closes: #495165)
Checksums-Sha1:
a838c4edc6487d41b950c51209a1efaf842ec43f 1555 coq_8.2~beta4+dfsg-2.dsc
32c2efd9d861a828f6beafc352ff88579a4469d6 14305 coq_8.2~beta4+dfsg-2.diff.gz
f905d06d5815212f284b908d32d231da196bc7e8 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb
f2f7222a07ce2f05e6c07b93d1dc901974b8a867 10615026 coq_8.2~beta4+dfsg-2_i386.deb
0817b6a927fafd8e3d074cf3acfcd19b5200d853 5482990 coqide_8.2~beta4+dfsg-2_i386.deb
Checksums-Sha256:
16a13db0d0339babb9d7544c9ee395dda43bf8ddd399a9d39891ed5caeb360d4 1555 coq_8.2~beta4+dfsg-2.dsc
4d2915d2534c755c8a7d436655fa9cd311a17a5bd2da3a0b8bc555c7bc747110 14305 coq_8.2~beta4+dfsg-2.diff.gz
92196000817d3a1dd79f71b797199d251d5975e92708af600eba2ae059d14d39 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb
5917ca3127343c6ef8796567ade5dc1ea4dbdce1ce7126c0d7b7c3d438c52a85 10615026 coq_8.2~beta4+dfsg-2_i386.deb
d5f79906b8d182b589bbf08804da7aaac697182b74e3e9833d7a5558cac9bed8 5482990 coqide_8.2~beta4+dfsg-2_i386.deb
Files:
66d1c69ad4ede55bb96ebd01bc1bd12d 1555 math optional coq_8.2~beta4+dfsg-2.dsc
a829f575446efa6f5a0fcd2d10d16a02 14305 math optional coq_8.2~beta4+dfsg-2.diff.gz
b0e57746af7902a4a78663e39c496e54 18742360 math optional coq-libs_8.2~beta4+dfsg-2_all.deb
e94aff117e631f6db5d01a426cc69667 10615026 math optional coq_8.2~beta4+dfsg-2_i386.deb
ab82081781244873b04f8be99d790ba1 5482990 math optional coqide_8.2~beta4+dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkilm6oACgkQIae1O4AJae/UagCeMX2mmxoRa3BZBwd6fZ/FEIg+
vSAAn1qe1w+NqberU9ebMQ32ZLtQA6kC
=eWtM
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.2~beta4+dfsg-2_all.deb
to pool/main/c/coq/coq-libs_8.2~beta4+dfsg-2_all.deb
coq_8.2~beta4+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2~beta4+dfsg-2.diff.gz
coq_8.2~beta4+dfsg-2.dsc
to pool/main/c/coq/coq_8.2~beta4+dfsg-2.dsc
coq_8.2~beta4+dfsg-2_i386.deb
to pool/main/c/coq/coq_8.2~beta4+dfsg-2_i386.deb
coqide_8.2~beta4+dfsg-2_i386.deb
to pool/main/c/coq/coqide_8.2~beta4+dfsg-2_i386.deb
Reply to: