-----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
