-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 29 Dec 2012 15:56:53 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl1dfsg-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.4pl1dfsg-1) experimental; urgency=low . * New upstream release - 0002-Fix-use-of-HASNATDYNLINK-in-coq_makefile-output.patch has been merged upstream - add ocaml-findlib to Build-Depends Checksums-Sha1: a872e21d9bc4815cc1550c072bca9309e981f1cf 2344 coq_8.4pl1dfsg-1.dsc 3ff869bc583134d8095eae53b35491fbbd7fa998 3519203 coq_8.4pl1dfsg.orig.tar.gz c5f12d9ea7fece55b0a6602c8d49a4a52606a27e 17190 coq_8.4pl1dfsg-1.debian.tar.gz e013a8e6c5161e3356a1ac27981c5481b44bcdf1 6049272 coq_8.4pl1dfsg-1_amd64.deb a021511724d0432e71846d486587e5c2140acec1 1066934 coqide_8.4pl1dfsg-1_amd64.deb cb42be40029c3e85d8265a1b7a2ebc67edba00a3 65674346 coq-theories_8.4pl1dfsg-1_all.deb 371d52c22bc8c1d00df429683966042ba2dc3757 2251422 libcoq-ocaml_8.4pl1dfsg-1_amd64.deb e8093be08152a1da369b380584a9c931315e005d 5780742 libcoq-ocaml-dev_8.4pl1dfsg-1_amd64.deb Checksums-Sha256: 32b703cc1070723d7a1821c3e257a1c7689d3a4358ba877e7365a399d4cc1357 2344 coq_8.4pl1dfsg-1.dsc bca744e83f4d44381e8979334d6585bcd1cff94a9fd0f53e4ed4b6d1628f3684 3519203 coq_8.4pl1dfsg.orig.tar.gz e2dda36d29105530b4b7a44fb13c49667938d74ea132f41b293147a781fa4a12 17190 coq_8.4pl1dfsg-1.debian.tar.gz 8e4c78fe08a322061a688471b023daa893fe75f9abfaaf3de645609a92038e40 6049272 coq_8.4pl1dfsg-1_amd64.deb b6e9cc062bfd7b256185e953a827a1b879597aca7d9500184acbc462a90d6090 1066934 coqide_8.4pl1dfsg-1_amd64.deb cac02e99aa6f3fcc93bc104b50490c7f9db1f26ac6de43e4dd45968fed8b3fbb 65674346 coq-theories_8.4pl1dfsg-1_all.deb 6a80ebe8a55cf55cc4e6dc4ee17463e0e61468051c1a69a18466f3fe8abfc553 2251422 libcoq-ocaml_8.4pl1dfsg-1_amd64.deb ef483515a15e6f66745162ca47d0c5c854cfbf90f352d44e1fe8c37be69f0e32 5780742 libcoq-ocaml-dev_8.4pl1dfsg-1_amd64.deb Files: c03044eca99dab04115805d27fcd90b4 2344 math optional coq_8.4pl1dfsg-1.dsc f388633f2f0c19b9c7ed223427799670 3519203 math optional coq_8.4pl1dfsg.orig.tar.gz 50bc27942c05d19e36bfea219aec8c8a 17190 math optional coq_8.4pl1dfsg-1.debian.tar.gz 65df3c3a415016e20bc5ddd72f982939 6049272 math optional coq_8.4pl1dfsg-1_amd64.deb 6e397c67be4777e7eb831744498fffd3 1066934 math optional coqide_8.4pl1dfsg-1_amd64.deb f5d72f461be539b00bf3c0b80b4be420 65674346 math optional coq-theories_8.4pl1dfsg-1_all.deb 63e92695f881ce54a7a0d803efb75e33 2251422 ocaml optional libcoq-ocaml_8.4pl1dfsg-1_amd64.deb 43ee663e5f83181fed640edb218473c2 5780742 ocaml optional libcoq-ocaml-dev_8.4pl1dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJQ3yC8AAoJEHhT2k1JiBrTz4MP/1vQFtw9mgpdkgw+0l+9KgpI Xoxwr/gH5Lw9pyMF9l/gL5r9NSKmKI6nItURePJVFu/9wXph4X2VIlhRqlamMpzg LEHXDqYVi04K9NX3g78e3q24l8yjYY7R6JwlgncDADiskWMMPaT+UOe+DOyEPvia PSCdg9BpPgZeh6TJK2UDeD+Gm3ByWspSRaaKeLgrmIIyHvYM+RH/bP2/sGxcb4wK mHt/PznlLP9rhG/ruRUgH+NxaDwEgD9JaeCm2NhTaVrwKP4pqrIW31ri3u6xLTVV jKKA3ZVx9jcIwOLRpynHXy1Ii1LQ+wALiulXTGFkioN4RcmeQtU3c5kvHRx2SA9g d8ENe7VBCOu10hIG4TMwBZ+h7eIy5oZmUz8cyismShj5OyzG/l8vjbh3+yy42F8M WUafa4CNm0xf6hKrc4xFdFzLyJszOox8jDNNjrs+WshvpBtBpjUnf8Dzf7T+PZ7W lkWYKYX0F7LaQ6tsoekW4c10ERkKSSAoZdwpVck3sITh1mEmZxJcBfRHN6jbLcE6 IbQpgzaPBRX322AO5thkQXg5l8XcrDjuKkjgxgIWMUixQ5VpSMJ6N2/wKm3kCgPW Rb4Gj3gJIwjtKoDKeXZfRTkAjre6EH1lT6FER0xY7wdgKKgu9JeAxL4phARtV8VU KcPf9G5fpNTTPK6QSxwm =mT1U -----END PGP SIGNATURE-----