Accepted coq 8.2.pl1+dfsg-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 29 Aug 2009 16:58:45 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+dfsg-3
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
Closes: 538398
Changes:
coq (8.2.pl1+dfsg-3) unstable; urgency=low
.
* Update README.Debian (Closes: #538398)
* Add 0001-Update-for-why-2.19.patch
* debian/control:
- update my e-mail address and remove DMUA
- add why to Suggests
- add quilt to Build-Depends
- update Standards-Version to 3.8.3 (no changes)
* Update README.source to reflect use of quilt
Checksums-Sha1:
ef1b0bdde9e7082f3357d7ef1df1cd11fa3da3fb 2241 coq_8.2.pl1+dfsg-3.dsc
aa0ff3a8b48641abc06313d6882f6295287dbe09 15366 coq_8.2.pl1+dfsg-3.diff.gz
7f451acff4d791ec380fd5e46baad7df8ea39973 18385280 coq-theories_8.2.pl1+dfsg-3_all.deb
cfde5f650efd39e7d243dd84628ab036fedd18f5 15311654 coq_8.2.pl1+dfsg-3_amd64.deb
6d1af285f21fe5d6a513a4d9a854c312ff46ab42 6538312 coqide_8.2.pl1+dfsg-3_amd64.deb
c6ec229de2cfb357bf31db4b5e8ade52cac29330 6047962 libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb
Checksums-Sha256:
334f0db990aff91d6f580198ec26df41e7c6fcb43293dcaefad2e50feb0022a1 2241 coq_8.2.pl1+dfsg-3.dsc
955138b5d7c4184d74472937417422194b93b230081f603bb9231d72a10d36b6 15366 coq_8.2.pl1+dfsg-3.diff.gz
7de64169eb5cf90956de151729d91c78f16d4f26c249ce13859f8a7f56d540c3 18385280 coq-theories_8.2.pl1+dfsg-3_all.deb
5c7a75aa6a15458e105bff55aebfefd84d69a8741dffd05b466bab7f73a2912f 15311654 coq_8.2.pl1+dfsg-3_amd64.deb
cedfa94f1ef103c4bea92f9d8cc118825ba1a656fa1d70a51ce6cb800e5c96d0 6538312 coqide_8.2.pl1+dfsg-3_amd64.deb
f0903b0633e1657ffe020fa490de7a1171b1e34bf60bf11d673fe85ce69f4b5d 6047962 libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb
Files:
1a49833777bf4b499fd58250aeebc881 2241 math optional coq_8.2.pl1+dfsg-3.dsc
8667c0c9c1ef0ca6605b599064872808 15366 math optional coq_8.2.pl1+dfsg-3.diff.gz
1d4285ba0f4d0c3501e85447f726d3cc 18385280 math optional coq-theories_8.2.pl1+dfsg-3_all.deb
32ee6a98d5b7fffbf7d0ade395bcfa68 15311654 math optional coq_8.2.pl1+dfsg-3_amd64.deb
bc00fd5eaeea99edc9ad6df677445def 6538312 math optional coqide_8.2.pl1+dfsg-3_amd64.deb
dceb923a94a9a5bfb874fea273c26a68 6047962 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBCgAGBQJKmU0KAAoJEHhT2k1JiBrT+noP/2TRpENUl+7eZgO9drll3yfr
GYLZv3ZMjWW5lt640yp2R+CnJJV0GdKsepga96emi4vVBFUyI4E5Baz9fOI0EX9Z
xdB5AxbWusbhaerHyLsR3zcMNNRgc3Y3PcKnPcgGadortUL8hMRkHFy2mKN/ylQo
0tRiuJerkCgtG5DUAmdxBJG0E2iasUrYB4zkuCvQp1HVy980lYpehtR7p1SGdexi
25H1KLorWpCKWu0Ahe6ysxX7rXXyk2WDMOoE7iSiLbhJ4+RdTPXyuwhJnbaLY37H
9D2fWsbNtwgyzuOHH5vX0o2DigkzhDJjtng6M7gJBaWRz0VIBIT+PovDUo1HjrgG
m77FR6eL5d+toGnUhatOSN5Z2YsyhmgFcxNGlDCo4clU0uTNATpu1ZsWXQlr0wDa
4QoHfylyXgv38dmgF//IcKrds8KmYT/l5AG4uWwZhuNoq4kuvtrgjJQmFE+hE8Oy
m36p6SG8Gh51KFHIya3R714ICO8Cnbd9kKBxoQiVF0otsCx9xatvtiltXWyTvJkz
MQjtTHGUZaO4eChvLEZwWSA0Q+8xku4Gzcoil7UXLRLwn0uM5OEWyekqDPKBkAFY
ZfMMZ5gbYPIrr7XSXqaHZrqa/6Oh4RG+14HBhI/HX6nbrJagIWP6t36LLkD+dl1k
59McsykR8UqThOhxGK4X
=44Yr
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl1+dfsg-3_all.deb
to pool/main/c/coq/coq-theories_8.2.pl1+dfsg-3_all.deb
coq_8.2.pl1+dfsg-3.diff.gz
to pool/main/c/coq/coq_8.2.pl1+dfsg-3.diff.gz
coq_8.2.pl1+dfsg-3.dsc
to pool/main/c/coq/coq_8.2.pl1+dfsg-3.dsc
coq_8.2.pl1+dfsg-3_amd64.deb
to pool/main/c/coq/coq_8.2.pl1+dfsg-3_amd64.deb
coqide_8.2.pl1+dfsg-3_amd64.deb
to pool/main/c/coq/coqide_8.2.pl1+dfsg-3_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb
Reply to: