Accepted coq 8.4pl4dfsg-3b1 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 12:47:07 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 18:24:54 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.4pl4dfsg-3b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at 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.4pl4dfsg-3b1) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 9c480851a1ac985b7e5ed5561da2acfa81126ab2 2380 coq_8.4pl4dfsg-3b1.dsc
 7fb87691df89e4faf8676d1896a34de5024e6ade 3527076 coq_8.4pl4dfsg.orig.tar.gz
 d98c3c473c2c3ee667a52b4ec5830fcfb1113f18 16060 coq_8.4pl4dfsg-3b1.debian.tar.xz
Checksums-Sha256:
 994dd1c2f803dbd1e543cb3215792711d58b6895606e8540fe52a771ef98da00 2380 coq_8.4pl4dfsg-3b1.dsc
 ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 3527076 coq_8.4pl4dfsg.orig.tar.gz
 9db2bf107ffddecc23f0e1d5aef667bb52aebfca7f529b5a88dee5c7837b3e0e 16060 coq_8.4pl4dfsg-3b1.debian.tar.xz
Files:
 8b2872bcafdd6a1ab2faf0d1d2fc56aa 2380 math optional coq_8.4pl4dfsg-3b1.dsc
 e01be807904a8e60046486eba8f13f59 3527076 math optional coq_8.4pl4dfsg.orig.tar.gz
 9f810ab85189b61e71a9af993edf7814 16060 math optional coq_8.4pl4dfsg-3b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWmStpAAoJEElMil+/TezrZtoQAJ1eRFc+J52jfZgLEhZPA8nS
OgbYyHKteXIdajkLbeJ58eIFlzkyS33unhRTrFdHVPIx0IwpY56nAe0oW+/0x/DF
giFE6UgSJuxkMG4GvB2wBDzj7WwM4vZSa/wMkQNyUyd4CYqPuoVY0zQthDY9Qt/i
WLTAW4bo3OWXOGNQKNWKwJAL6jcrmx8puS50kTllUeDpzMQxShR6YneoZxgOFucs
mQmlKi07FdCg0gHkS8dQccBD/tWJ9Z9A5fRjasWM+LXJNOJ0EkqAwZ0EhyRkgj5r
Hx9Eth73SLLVE/ZVGNKI+xkRMfL8JLkJoAlugHNTJL3ayhF09xwf3HBDg12oyOTn
7vjq6ZASoFkRqtgl3tVaeHesmGyfSe8ar3tqFb2JolRneraEnUx5oZ7PTDqNAQ4B
Qyt1CAMS+4tsRSjWDzzFbJAJIC34W3gCCzuCj47OETa7HSBGUESMJbWXFTrlIGhm
jXnkJTOQ2uq/doWxOZxjisX1B3IptdB1d3oKFYPhnSpDTAyPI80r8sWlQXUxjuPV
AJpM4jr6dZ+W1q7KpUcmEWj9+fQnlwcTe8W4HaHXIu9dbiNTL2W1rRhunYf5wxOs
AvxJ+4oHSeQnwFuSEbWZXOJPh0yvMQ+VtsXghzEJBl00szCqvHWFWa6g5Rf3sW1h
m9NECY7ZpsRPsqg5N90D
=y6l/
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list