Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental
-----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-----