-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 14 Nov 2015 14:59:04 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 Version: 8.5~beta3+dfsg-2 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~beta3+dfsg-2) experimental; urgency=medium . * Option -no-native-compiler now called -native-compiler no Checksums-Sha1: 805a334f68e4b2d97300c835c8095d347a412e7f 2473 coq_8.5~beta3+dfsg-2.dsc 6994be5cd8bfc700e12e5ff69b51ef9a60ef5b1e 15944 coq_8.5~beta3+dfsg-2.debian.tar.xz 0d0bee2b2be5afb6f100d06440e3356e16f3b573 35114252 coq-theories_8.5~beta3+dfsg-2_amd64.deb ac35588494594abb2113826247759594f2e0440b 12903280 coq_8.5~beta3+dfsg-2_amd64.deb 9bee45bbcf6e0d55c787a40c907453e5dc9b5ac8 1139400 coqide_8.5~beta3+dfsg-2_amd64.deb 54afbf8ee4e308f5a90c56e510ef2cf0eb3ab2cb 13300708 libcoq-ocaml-dev_8.5~beta3+dfsg-2_amd64.deb b3bc66c2f73addd09f80bd92c62cf885af67a10c 3423518 libcoq-ocaml_8.5~beta3+dfsg-2_amd64.deb Checksums-Sha256: df78b8f891a39acf5c99b5134251925ac425f1e81595e2ccf41362cd85180ff0 2473 coq_8.5~beta3+dfsg-2.dsc bb3b7efee9c1bfd5cb9645441c077fda373b85b67cc724879730d1b0d09f1d02 15944 coq_8.5~beta3+dfsg-2.debian.tar.xz eadc9c4378dc81c860c4a8f1fcc93375b6c2f965c82ad52985b06a41431c927a 35114252 coq-theories_8.5~beta3+dfsg-2_amd64.deb d0926f2c5c0d8c518d51f7a5c12848e91b09db58c8fdb21ed7f810443df36a72 12903280 coq_8.5~beta3+dfsg-2_amd64.deb d6c3ca4aa6275300b8bf0f09742414387987bb52974c9dee92a116cf353601a9 1139400 coqide_8.5~beta3+dfsg-2_amd64.deb d034d0ed48047d77c9a25a1f91ceb19b6d03cf787306bcc92b817d64c6e07f27 13300708 libcoq-ocaml-dev_8.5~beta3+dfsg-2_amd64.deb 757763d6fe8bdbb0ca5b2f31788cb8156aad2acb1844013bde5cf39848ffc0cc 3423518 libcoq-ocaml_8.5~beta3+dfsg-2_amd64.deb Files: 47a0ce01904d2705a685d7cc32cdb886 2473 math optional coq_8.5~beta3+dfsg-2.dsc 5d8ee08ec72211b1244fb8afc957f109 15944 math optional coq_8.5~beta3+dfsg-2.debian.tar.xz 95a4bb2e64d3de42d65857340fa0b96f 35114252 math optional coq-theories_8.5~beta3+dfsg-2_amd64.deb 1b140a17b1123c6bfc3dc3c8c68d2c5b 12903280 math optional coq_8.5~beta3+dfsg-2_amd64.deb a7e09d7772ee6f5b9b5f0d401ba6cf10 1139400 math optional coqide_8.5~beta3+dfsg-2_amd64.deb 75b4871fb7f3fe2fdd45a46d7d689e40 13300708 ocaml optional libcoq-ocaml-dev_8.5~beta3+dfsg-2_amd64.deb 77764c255b69ee506afd0a431f5c7956 3423518 ocaml optional libcoq-ocaml_8.5~beta3+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWR0YOAAoJECUFM8yim3ZPhGwQAK3a5QnOqkmjgMUJeuZSHeA6 zZGwQol5TvQ0SCa0X8pdt1cKsXQ72JCIjGTZKHAQLozqRwZoSh5gaG0cqKliFkg3 dEDIi+dBjZnY99TK8Ao6Dv/fGJaoApy3BI7FXFsvmi4+19ug7MRCekke/caa2/2D Fxv6m/1ogOX6LrdYFnH4gNTKOO+zkfHNa+OMs3FxBDV7eOFZFw32JI30fxt94pcp tTsQBw/97AW0bGUGjWeB2uq4oCYDQgTIANmo5vUZAB+uVONnWemT/ciOwPZFEM5Q f9daCBczzF/+dYCriCn6VQfU1mnva3DYg9a8+3/mSVTWu7p+xqcqyywGi2jIFEjn xDbj/3yuchbizXrPXwutwcKD80avYr83Acubd677K5HRTRveoM2bBWJgYwSf/tsS 4shU7LwFXPLgn76P1/VbwkQDoYoMgN9Hqi07CAPYehfxkvV11EgDoce9cLMZ3odx G6NHCL4tnGXVJW/8bR5hbRQRfh1a3s/ee1ramgo/oCwtaMQqv7+vEXjbIeF00ko+ wy10eJBQsae0wAqxFMXUdoxnUtWLAs8ZQ9FeaSc9qDlzcShHQ6YgZnDLwMCCW3+z ZbUprT5SWJlt5KZYatpd/MPPOrmDXM6wUJR8EEbyD6p5hOj14AKRMRbA08GXkZKc TGjbsvszbE34+H8MOWM+ =yp7z -----END PGP SIGNATURE-----
