Accepted coq 8.4pl1dfsg-1 (source amd64 all)
-----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-----
Reply to: