Accepted coq 8.1~gamma-4 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 11 Feb 2007 18:02:49 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-4
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
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: 400535
Changes:
coq (8.1~gamma-4) experimental; urgency=low
.
* Correctly build glob.dump on non-native archs, closes: #400535.
Files:
764fd9afaa2805b30dc28fa8cd99e3dc 945 math optional coq_8.1~gamma-4.dsc
5f7094afff6a0b0ef0586784694bdb90 14185 math optional coq_8.1~gamma-4.diff.gz
cc7c480ef2568e7ec6138f0b5e54552e 14581038 math optional coq-libs_8.1~gamma-4_all.deb
64216e305953a33b4e99092a56d90a39 6307048 math optional coq_8.1~gamma-4_i386.deb
7394d1e7a8538d75a508ce5dee553961 4587346 math optional coqide_8.1~gamma-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFz176Iae1O4AJae8RAig5AJwPcGDhdWe0E2Fa7yaxiFxs1nFh/ACeOQj5
zjmz3ij+6/FHCUhiAI99Mqs=
=dD9B
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1~gamma-4_all.deb
to pool/main/c/coq/coq-libs_8.1~gamma-4_all.deb
coq_8.1~gamma-4.diff.gz
to pool/main/c/coq/coq_8.1~gamma-4.diff.gz
coq_8.1~gamma-4.dsc
to pool/main/c/coq/coq_8.1~gamma-4.dsc
coq_8.1~gamma-4_i386.deb
to pool/main/c/coq/coq_8.1~gamma-4_i386.deb
coqide_8.1~gamma-4_i386.deb
to pool/main/c/coq/coqide_8.1~gamma-4_i386.deb
Reply to: