Accepted coq 8.2-1+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 27 Feb 2009 13:31:30 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2-1+dfsg-1
Distribution: unstable
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-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 517107
Changes:
coq (8.2-1+dfsg-1) unstable; urgency=low
.
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
/usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
(Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
Checksums-Sha1:
f8002c56afebe1f2cb17a19aed6208d69e9050f6 1590 coq_8.2-1+dfsg-1.dsc
5010159fbff85544ae05952ebf78619808b485a7 3137238 coq_8.2-1+dfsg.orig.tar.gz
74035e38618ebfd701d04534a270d30b8f2794a4 13989 coq_8.2-1+dfsg-1.diff.gz
1cb8412784bf6bb172a7eeffb66468206b835bd7 18224744 coq-theories_8.2-1+dfsg-1_all.deb
196c69f6a3ee7f978efcf27dc6f79480b48101c3 15294414 coq_8.2-1+dfsg-1_amd64.deb
b0629a1dd853139075fbf4df19ef28c4dbc93c38 6485364 coqide_8.2-1+dfsg-1_amd64.deb
44cf49bafe1548a9fa97ccbb491404c1b3672ad7 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Checksums-Sha256:
32ac8f4e3b279c628ea376b354b9da7abdc21c3af35f976b4d19d172cf0da499 1590 coq_8.2-1+dfsg-1.dsc
acf410135156f70890955828daa132f8c13da33d2476adb5f880b45814887bd4 3137238 coq_8.2-1+dfsg.orig.tar.gz
a8b0dfd2aad2837faf44908d1fb7e7565d01c7855747dca532ee040a5929d0b9 13989 coq_8.2-1+dfsg-1.diff.gz
a8e1fd805037ee7e6b96ef69c9feafa762ee2a5ddd2bb896faf04f6d26fd2b3d 18224744 coq-theories_8.2-1+dfsg-1_all.deb
0aca3403ef67edf891b532d0e9c0df65ba6eb031ad47266b0e34d5da6f06b398 15294414 coq_8.2-1+dfsg-1_amd64.deb
d093190b4e7d360d937b8ebd5884bef32f3a1d67853e8db240659436979dd94d 6485364 coqide_8.2-1+dfsg-1_amd64.deb
ed1ff17d5995363f48b746cb0994584aa66ada777034deb12439d8db4d5b645b 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Files:
071123b0e9f4014c8204741005bc0621 1590 math optional coq_8.2-1+dfsg-1.dsc
f3f84a182fc1ed6ef2fd5affc114fedc 3137238 math optional coq_8.2-1+dfsg.orig.tar.gz
36c6ec7d2327884c4c8ea952ac541a56 13989 math optional coq_8.2-1+dfsg-1.diff.gz
3a9f9bb088bff00c92017aff7270985b 18224744 math optional coq-theories_8.2-1+dfsg-1_all.deb
fdc110b03e9b1700ea1af5ee2d6803a7 15294414 math optional coq_8.2-1+dfsg-1_amd64.deb
2aa1fd0e3f7b11fce3178c8795c38f48 6485364 math optional coqide_8.2-1+dfsg-1_amd64.deb
e2c149514672236a1995e160e788914a 6044152 libdevel optional libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmpJCwACgkQBg8odvzgPapK0ACcCFwEwXgy83+zVCBXKA8WASCF
yGUAn2sInchYqydj+qDnc64/N/nYMtG9
=wEO9
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2-1+dfsg-1_all.deb
to pool/main/c/coq/coq-theories_8.2-1+dfsg-1_all.deb
coq_8.2-1+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2-1+dfsg-1.diff.gz
coq_8.2-1+dfsg-1.dsc
to pool/main/c/coq/coq_8.2-1+dfsg-1.dsc
coq_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coq_8.2-1+dfsg-1_amd64.deb
coq_8.2-1+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2-1+dfsg.orig.tar.gz
coqide_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coqide_8.2-1+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Reply to: