-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 21 Feb 2011 16:51:11 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.2.pl2+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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
Changes:
coq (8.2.pl2+dfsg-2) unstable; urgency=low
.
* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
lablgtk2 transition
Checksums-Sha1:
1817eba3e722c86832fd271f81dd0fdc21eb7dbf 2159 coq_8.2.pl2+dfsg-2.dsc
b0b906d1041e9bcea51c7056625275d3818b5c16 18760 coq_8.2.pl2+dfsg-2.debian.tar.gz
4ad9e9752e0d03867f39102ea2589d7259b4dbc1 15401678 coq_8.2.pl2+dfsg-2_amd64.deb
f3aa400337cd70d169c3effc22fecf622eccfb12 6575648 coqide_8.2.pl2+dfsg-2_amd64.deb
941f9ba7d9f0c665cba5f3e80320d5a38fb78ec4 18487502 coq-theories_8.2.pl2+dfsg-2_all.deb
45095221eb9c581889af7ee344987fbf27ca1c18 6088210 libcoq-ocaml-dev_8.2.pl2+dfsg-2_amd64.deb
Checksums-Sha256:
74d738b891acab88d7045e44d4b0d67840f4702bdb5037d3b5d9e7271d59e0f0 2159 coq_8.2.pl2+dfsg-2.dsc
968513dd68fd752dce30bca47d93e195a4de628940961d35984058097320955e 18760 coq_8.2.pl2+dfsg-2.debian.tar.gz
d6e3e8dbdc6d02b20c8b980038ecd86068f842af0ba01f16c5ef6bbdc1dfee58 15401678 coq_8.2.pl2+dfsg-2_amd64.deb
572fce999fc9cea87596f60b5e4725b2e548161a9327a5ec0b6539ae41906e5b 6575648 coqide_8.2.pl2+dfsg-2_amd64.deb
8856137783d25b8ce9dede87ae85f252ae9caf8f4a7d338b1481eefe584c374d 18487502 coq-theories_8.2.pl2+dfsg-2_all.deb
4222a6b04a7ace72cac1e8b1df2d83dae3581006a6cc2c97ad872a4d43e32b52 6088210 libcoq-ocaml-dev_8.2.pl2+dfsg-2_amd64.deb
Files:
adefe72e00eb1a19e1d959ea207518dc 2159 math optional coq_8.2.pl2+dfsg-2.dsc
908cc9a1980dfdc03e3ea4e768aa9a77 18760 math optional coq_8.2.pl2+dfsg-2.debian.tar.gz
09b8fb7b08cc4285efc9c3cdc4f6123e 15401678 math optional coq_8.2.pl2+dfsg-2_amd64.deb
cc9d721448be1f14c144fd5d481a5d14 6575648 math optional coqide_8.2.pl2+dfsg-2_amd64.deb
87c1103d7266bf78639ede1913d9ed5c 18487502 math optional coq-theories_8.2.pl2+dfsg-2_all.deb
8cd6d37869d6df3394f8821c0010c39a 6088210 ocaml optional libcoq-ocaml-dev_8.2.pl2+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNYpKgAAoJEHhT2k1JiBrTpeoP/iucl9obMpHIxvJ1ZzFVybVn
ghbtM+dilv5xNl3cMOlZO6iIHYW3W1bxaBi/j8f5F+SCPFnyNh/f4rm7z6oMPW3K
Si38KPxyS7tKjaV38eHWsTCQ5j4qLqtQBOqUfPoNMIrN3+AY/irSLNwuUS8jchIq
yjlNtxWidCnxTqvCp+c0t5xvPluR/cWM6nsjB9XI3NH0/vr68R4Twap4gluw+9r8
JYGZ6HeonfR2AnO5/9H3bAigANjgdm96B0EdhTiisQtv4u67SNRaF4lursl6sIE7
6NPkHy5lccvRh9HPFoQimk4InOSWvFYbmw7mtQUmBquoxWVOz4MVhN3q87vXC7zA
NBY11rxgllyeeY48jTZsn9OIB+vdR8/SxtiPJl/V90oTKwz7eQgLbkmOdLh0DWCh
4O/cPkvh1OAMLnSYCBDd9i5GghCBxJTqHEYDiieJGv1ae8wxtiDmySez5zSEcQwT
evJsCkTdKWlCIPxyAvWbpNK1D44viz12wm7FxFt97dS6HI+kVE27k+SegtDwme5f
u5XVYBUbmi7xwu+6fyJmLn2XcxENHpFv0+lOVqwcrQudcwY4YB2wX0Q9tTsCiW6x
+KPcqCTwsTfYL7eiTIkMbYmpYNbhbJZc+Q7dwtbP63b8dBHSfErrGHggtGS/YNEc
Nw6oMqAbXF5JHuVDf8Zu
=1pZo
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl2+dfsg-2_all.deb
to main/c/coq/coq-theories_8.2.pl2+dfsg-2_all.deb
coq_8.2.pl2+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.2.pl2+dfsg-2.debian.tar.gz
coq_8.2.pl2+dfsg-2.dsc
to main/c/coq/coq_8.2.pl2+dfsg-2.dsc
coq_8.2.pl2+dfsg-2_amd64.deb
to main/c/coq/coq_8.2.pl2+dfsg-2_amd64.deb
coqide_8.2.pl2+dfsg-2_amd64.deb
to main/c/coq/coqide_8.2.pl2+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.2.pl2+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.2.pl2+dfsg-2_amd64.deb
