-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 12 Aug 2008 16:37:51 +0200
Source: coq
Binary: coq coqide coq-libs
Architecture: source all i386
Version: 8.2~beta4+dfsg-1
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)
Changes:
coq (8.2~beta4+dfsg-1) experimental; urgency=low
.
[ Samuel Mimram ]
* New upstream release.
* Updated patches and removed coqdoc_stdlib, makefile, configure and
cmxa-install obsolete patches.
.
[ Stephane Glondu ]
* Update debian/rules and debhelper files
* [8dd1802] Fix typo in README.Debian
* [dec29bb] Add myself to Uploaders, and DM-Upload-Allowed to control
* [dd1436b] Switch packaging to git
* [2dd9e5d] Set doc-base section to Science/Mathematics
* [c89cb94] Add Homepage field
* [7dd7c53] Add debian/README.source
* [1c6c7c8] Bump Standards-Version to 3.8.0
* [38db629] Remove browser.dpatch and use --browser configure option
* [9fd4621] Add use-env-in-coq-config.dpatch
* [c7560b2] Remove obsolete manpages (now shipped upstream)
Checksums-Sha1:
094da6c570ca9805b979b28cff3174fd256b40ba 1555 coq_8.2~beta4+dfsg-1.dsc
edad8ff74413dad746318cccecc5cf6528915374 3141766 coq_8.2~beta4+dfsg.orig.tar.gz
3f559091529a85e3fe28e0c69d98f21abe400a23 13836 coq_8.2~beta4+dfsg-1.diff.gz
9290121ab9b212ccae1ad32e9111f71dec9a5d7f 18742296 coq-libs_8.2~beta4+dfsg-1_all.deb
b6813fbc5a58eb9f05967c597e69f0268e195929 10614780 coq_8.2~beta4+dfsg-1_i386.deb
9c455e8bc5cd5882c426e7a24f468a1f662bb4be 5482910 coqide_8.2~beta4+dfsg-1_i386.deb
Checksums-Sha256:
f80415bbd6cb93d9eccda2891c8595282d77a083ba293f392ec478abd9c5dbfb 1555 coq_8.2~beta4+dfsg-1.dsc
900f053469602594fd0f45ef71165f1e6ffc4b5a0c0f0c7f74367ce0cfb3379f 3141766 coq_8.2~beta4+dfsg.orig.tar.gz
27c25d6efe1b097732d134ddf70b4871e4eecf7182557348d3877b864a6cbafd 13836 coq_8.2~beta4+dfsg-1.diff.gz
f5430d264c41edcc9e35b5d00bcf09afdf2f6300e0f91976fd3399af9e2aa942 18742296 coq-libs_8.2~beta4+dfsg-1_all.deb
1286ad6e76a28315ce39ae626e9ac93f22cde29569f0cd86d8d624a74caa92ca 10614780 coq_8.2~beta4+dfsg-1_i386.deb
75b1bdafc630a184ed820f848e6d6b9a3d75fa5e8597eb836481f031e1ee3c78 5482910 coqide_8.2~beta4+dfsg-1_i386.deb
Files:
440a80a3780ae774919ef798487f3f76 1555 math optional coq_8.2~beta4+dfsg-1.dsc
2513956322f6c8593ff8a4735c26293b 3141766 math optional coq_8.2~beta4+dfsg.orig.tar.gz
2b2a11e6b9597976c2ee5ea8e005faf2 13836 math optional coq_8.2~beta4+dfsg-1.diff.gz
6dc9203e2fa1f9e3694287e44b8df511 18742296 math optional coq-libs_8.2~beta4+dfsg-1_all.deb
1e0fd700be4d51028ea729c1d68f3ddf 10614780 math optional coq_8.2~beta4+dfsg-1_i386.deb
a24a75295e26ce124e5d634d15cbdebe 5482910 math optional coqide_8.2~beta4+dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkikaDIACgkQIae1O4AJae/b4gCeImpVBuWt/OuPSQpZTMwW6QV7
dX8An1NmjKzH4BpIIDOxaGjptgtl+pKe
=sT9Q
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.2~beta4+dfsg-1_all.deb
to pool/main/c/coq/coq-libs_8.2~beta4+dfsg-1_all.deb
coq_8.2~beta4+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2~beta4+dfsg-1.diff.gz
coq_8.2~beta4+dfsg-1.dsc
to pool/main/c/coq/coq_8.2~beta4+dfsg-1.dsc
coq_8.2~beta4+dfsg-1_i386.deb
to pool/main/c/coq/coq_8.2~beta4+dfsg-1_i386.deb
coq_8.2~beta4+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2~beta4+dfsg.orig.tar.gz
coqide_8.2~beta4+dfsg-1_i386.deb
to pool/main/c/coq/coqide_8.2~beta4+dfsg-1_i386.deb
