-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 24 Dec 2010 12:51:59 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl1+dfsg-1
Distribution: experimental
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 - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
coq (8.3.pl1+dfsg-1) experimental; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
* debian/rules:
- run test-suite in override_dh_auto_test, skip coqchk run
- make "build" explicitly a phony target
Checksums-Sha1:
3047a6d6864b3245c63f80eca044b2cc4d19ab2c 2173 coq_8.3.pl1+dfsg-1.dsc
aa9c615b759ea9f32dbaf8eb804b142362bb1f46 3142654 coq_8.3.pl1+dfsg.orig.tar.gz
988384310016f3bd573573dc6c94f9cccb54eb22 15983 coq_8.3.pl1+dfsg-1.debian.tar.gz
0d4b980fafe9be76a0d6e1bff33bcb66459ca627 5586536 coq_8.3.pl1+dfsg-1_amd64.deb
36842960866dd4b85dab19e07cc2cd3822103997 5532936 coqide_8.3.pl1+dfsg-1_amd64.deb
04a03ff2862d8227bfdfe0662f009d8c8b503e9c 53218624 coq-theories_8.3.pl1+dfsg-1_all.deb
adfd1c3f5189dc90a6aac9424befbab6bfe4b404 2085788 libcoq-ocaml_8.3.pl1+dfsg-1_amd64.deb
1d2ee84809ca06a8c6f7fe3d5bd829b8e271dd2f 5885768 libcoq-ocaml-dev_8.3.pl1+dfsg-1_amd64.deb
Checksums-Sha256:
ecdd713df880d11972e235c6449515e74c5d6092a681a5151c85e1dba2c7cbe9 2173 coq_8.3.pl1+dfsg-1.dsc
8dc0a9eebb9b110d7fd5e49327447b84f2aa27a530e9396b9b842eecaff9e81e 3142654 coq_8.3.pl1+dfsg.orig.tar.gz
3c8ce2ca00f0e66b7163ee26ae778140a868093eda9cbde095df27c201f1ee7a 15983 coq_8.3.pl1+dfsg-1.debian.tar.gz
b2dd7b1fa3f65738289e42b3196acb3b6a46cb48654d698a938510d3f9d7ad1e 5586536 coq_8.3.pl1+dfsg-1_amd64.deb
83372f64ff1e3afe82252fb3f0b94844467d8831deeffc159442a27f3bfb83b3 5532936 coqide_8.3.pl1+dfsg-1_amd64.deb
8b4cdb6bd726eb1b96543ca53b9a126c4b8f25e6aa8d9ae3f462b50aeaac4281 53218624 coq-theories_8.3.pl1+dfsg-1_all.deb
6674be01d333c93bef4596807a61c9da7d105f2ed6295974f9867aaf21f6cf22 2085788 libcoq-ocaml_8.3.pl1+dfsg-1_amd64.deb
7edf29571cee17ffb0c07aa1d99c67cc41e4f4bd8cd4abf6e15021098407203d 5885768 libcoq-ocaml-dev_8.3.pl1+dfsg-1_amd64.deb
Files:
bfb7a30e8970e447d489ec6adfd4e69f 2173 math optional coq_8.3.pl1+dfsg-1.dsc
3995c3ca5a9b4d6ecf0d5ab92a194c2c 3142654 math optional coq_8.3.pl1+dfsg.orig.tar.gz
6f1802b07a4f520f047e9ae44d99c480 15983 math optional coq_8.3.pl1+dfsg-1.debian.tar.gz
ff09e81e81ffb0d1d3adcc15e40f72d0 5586536 math optional coq_8.3.pl1+dfsg-1_amd64.deb
ba0b2c7a036f64c08e441f26cd2a3c52 5532936 math optional coqide_8.3.pl1+dfsg-1_amd64.deb
35ce709e4245b1cc3cee647911ed9f61 53218624 math optional coq-theories_8.3.pl1+dfsg-1_all.deb
6a4fb3289edfaddcd436141322669ec9 2085788 ocaml optional libcoq-ocaml_8.3.pl1+dfsg-1_amd64.deb
2fefd31cc04ec680334ef88a29835588 5885768 ocaml optional libcoq-ocaml-dev_8.3.pl1+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNFJErAAoJEHhT2k1JiBrTOMkP/1WHwnwW4u3h3GE67O2a2wfz
vc9CEQ0xs9HnThyaEAFNwRbxsVdhdR1mr89lgiQBGq5tFXh3Zc8rBajja9Mun44k
WkexPDpoHsD90FV2irzmPBAIQxgI9Na0VzmHnKrc4612q7VRSXp5FWtwcKbP/Arh
HE/UCwE8im0Pjn1mV5KC0qV6px1SEeUe/MhPN3A1cYt5XnRcGfYZ9pFcEMfo3ar5
7dy1lZ9HedwRu1ib4a9td3Kbe6x1hJVVDPS7lohmVVVv5gfaTzw1qyYdldUHK03a
AQznMPAa+fKkB/YaETgHUKwZ1pnAZPTK1wawHSuAbUnuWGwNN+aR5AAKZ8u/F4nn
n6cd+bHOAYQlY9EnG/IxmoOR3JEqeRdE+0/+hqhiIoOd14S2yphfgCvSIzi/Zeez
AkdUOkBP0aa/ObCgDKdkXq4CxD8wKtO9T8cXnENEBx1YIkayvo3ld4SGoS/TFDDb
Krmo5j6mhY1QH8iUy8Ta4bZgLWvXNKdmCgQEioI7LTRKCxnewpTqF2KO9Utyp3R+
5iq5MsL9sQkOgqBkNafJyvlX2d453I6EMhJ4WgfvZ5vfM2YeCJhDgVH2JW5tW3LC
RqmqQFXxdsPdUhttyCLSIk3Kngrq9izvnNu9femBHrtYvqcl6iifdD7t7bmOzClm
xdwJp0iTF8B9sduy3Pw6
=dG5L
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl1+dfsg-1_all.deb
to main/c/coq/coq-theories_8.3.pl1+dfsg-1_all.deb
coq_8.3.pl1+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.3.pl1+dfsg-1.debian.tar.gz
coq_8.3.pl1+dfsg-1.dsc
to main/c/coq/coq_8.3.pl1+dfsg-1.dsc
coq_8.3.pl1+dfsg-1_amd64.deb
to main/c/coq/coq_8.3.pl1+dfsg-1_amd64.deb
coq_8.3.pl1+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl1+dfsg.orig.tar.gz
coqide_8.3.pl1+dfsg-1_amd64.deb
to main/c/coq/coqide_8.3.pl1+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.3.pl1+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl1+dfsg-1_amd64.deb
libcoq-ocaml_8.3.pl1+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl1+dfsg-1_amd64.deb
