-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 15 Jul 2015 11:36:30 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5~beta2+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@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.5~beta2+dfsg-1) experimental; urgency=medium
.
* New upstream release
* Add Enrico Tassi to uploaders
* Disable patch for lockf on Hurd (not needed anymore)
* coq-theories is now arch any, since it contains .coq-native/ directories
(i.e. cmxs files for native compute)
* coq depends on coq-theories binary:Version
* lintian-overrides for coq-native/*cmx* and plugins/*cmxs files
(hardening-no-relro)
* Build depend on liblablgtksourceview2-ocaml-dev
Checksums-Sha1:
f3f5a5a6aded5fecde5cdae4000f5c8aa74ea115 2473 coq_8.5~beta2+dfsg-1.dsc
a5fd3fddd03303747b0669c04e38abbb227a4e5a 4778412 coq_8.5~beta2+dfsg.orig.tar.gz
dc8c1051082580ff0943434ecb323944509c0031 15808 coq_8.5~beta2+dfsg-1.debian.tar.xz
acf2263ee61a4028af2a3facb17bd9f8879d0aee 35300544 coq-theories_8.5~beta2+dfsg-1_amd64.deb
40d376b8a61f01bdeef3387fd4fd5dcebf3c768b 12582598 coq_8.5~beta2+dfsg-1_amd64.deb
d6481a5abbc7a82559f3e62952d161fc15aefe2d 1135614 coqide_8.5~beta2+dfsg-1_amd64.deb
a82b25fa3b87e9a89426d3caf0464beb751a3e6a 13039112 libcoq-ocaml-dev_8.5~beta2+dfsg-1_amd64.deb
437d0e6b15f9a67a5ca5caa3fc6f7590b2f470e2 3514924 libcoq-ocaml_8.5~beta2+dfsg-1_amd64.deb
Checksums-Sha256:
b4dc7df7c9e037f49ae9cb1b4a64a045f46b635c8eab2cf75fab149263caa3a9 2473 coq_8.5~beta2+dfsg-1.dsc
2e308dba2ff221464bc311cc9dce12fc7405c71365d88ba622e94bff8765d41d 4778412 coq_8.5~beta2+dfsg.orig.tar.gz
5c58c633678d91e6768e8527c22265c56ba46d06ecc43e673c1e39ce5854a541 15808 coq_8.5~beta2+dfsg-1.debian.tar.xz
c136cb3bd3d1dfa43bb23e93cb57c06535311ae5a2fe434f939d2e52d4eb3f49 35300544 coq-theories_8.5~beta2+dfsg-1_amd64.deb
ba5c5c01aad8258a3ec2e0d516b279ee939570bbd5cbca78147777c295ab14ac 12582598 coq_8.5~beta2+dfsg-1_amd64.deb
7b829838ad1775695cc74d1b426894ecd5f20bae51e8c146373250cbaa4335c3 1135614 coqide_8.5~beta2+dfsg-1_amd64.deb
b51612679056ff603d4007ff2fb45b042b01f4374367f271d313ab09a02aa4a5 13039112 libcoq-ocaml-dev_8.5~beta2+dfsg-1_amd64.deb
4702959461d1b181b0a3672907ce61dc715f3afac8ef383e331c59c99411c480 3514924 libcoq-ocaml_8.5~beta2+dfsg-1_amd64.deb
Files:
46959b3d8ad379ee859e030a21e12de0 2473 math optional coq_8.5~beta2+dfsg-1.dsc
acc3cef000b35f95ebd3aca34c51207c 4778412 math optional coq_8.5~beta2+dfsg.orig.tar.gz
fb860bfb4dea9e6b86213d50669ee0ae 15808 math optional coq_8.5~beta2+dfsg-1.debian.tar.xz
364fa60eb05b5ffb0f0d11c6aea01efd 35300544 math optional coq-theories_8.5~beta2+dfsg-1_amd64.deb
fd012f84a73da8db8c1c886f37cd9572 12582598 math optional coq_8.5~beta2+dfsg-1_amd64.deb
326d765f30161613c275207e07b243f3 1135614 math optional coqide_8.5~beta2+dfsg-1_amd64.deb
01ebc63994b7ecf47e7d667bfbe85aa2 13039112 ocaml optional libcoq-ocaml-dev_8.5~beta2+dfsg-1_amd64.deb
d9cfdfb4588c5d62cfb596e6338cbd16 3514924 ocaml optional libcoq-ocaml_8.5~beta2+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVp+8LAAoJECUFM8yim3ZPpHkP/A2mx2Q72jJ542W+rTsCIPFS
Nc6m32ScVjMcHsaEGT0BfQboTRNhmVcL+F9pH6P/DIXDooFJavQSPp22bMxK8aXg
Y8usITdb8oIAjJmo9AkwQ3Yc4NUcFriDd41b7pnbQRdYhakHaK9ooZgiDPUzQ6HL
ENoPmG5jEvTok8/YM4U8epwnexmB7H5lfEu/sCIQwRszKz3LAOlDIQaigvWRyMBT
TaSxfp5PdCzmthGSTb8SlpgGRpo8mEYtm8FO1lc+xmT6wIRF1+opJr0L1kv11Wry
cOoSP9MmUPqKBMYi+mOkciynUf9bQPnTk2aObHa7AgQgBnxSnT4gluOR0foR686N
p8NGB3Rg/mP3e/OZ03YlI6R+X/vYGjhk1RBWKsWgkK97YAX7cQTQMkLj01rPFVL9
fUfFvLTylx+/rwHbcQPByJrXM5hU5VSOVIEMx1fzjYz98eis3AXJgdp7oBkOa3Qw
+/irXmwBRzNrr0tqhbCuewUBEn/rnP/b9ovwZ8Xnoqp7wc4cc6Q0ioEdStrkKnUQ
Zr8VYy4pUBqKPjA5iS/h0wRV9OBGzqW1OU4+Je1C7TBWDVF66QBcXo0jeNrF82a/
/Xl63M/yRZTJdzak7plpTvvwq7WO5z1SsxPhkhWDNISkHEnH/PyeOS5YTA3aH50z
JrpvbH0qNGeQTIhZF2zg
=V+m4
-----END PGP SIGNATURE-----
