Accepted coq 8.2~beta4+dfsg-2 (source all i386)

[Stephane Glondu <steph@glondu.net>]

-----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