Accepted coq 8.5-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 26 Jan 2016 16:59:05 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5-1
Distribution: unstable
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-1) unstable; urgency=medium
.
* New upstream release
* patch: disable test 4366 (timeout too strict for slow architectures)
Checksums-Sha1:
ee76268dd4e8bb2dc28afb7548073eb630ffa3be 2396 coq_8.5-1.dsc
045acf95efac833014bc5309781975b81321703b 4824349 coq_8.5.orig.tar.gz
3cedb247685eaf7c260944371a014866ad96d1cc 16240 coq_8.5-1.debian.tar.xz
91b2b54b9f6b8acb366417f5959a6ba42a831c41 1220704 coq-dbgsym_8.5-1_amd64.deb
76210cb6a65a06ec3b49341e64fe498c8275b3c3 887342 coq-theories-dbgsym_8.5-1_amd64.deb
e57becb0caaed6d8b8dcb2bd3210490073b47fe9 32926788 coq-theories_8.5-1_amd64.deb
6bf08f1b40e02d7693a22f2f5cc4bfb897bfb2a1 12751646 coq_8.5-1_amd64.deb
a893f5f47ed9e1b52a4e150bc71a9f11d08ee7e8 337360 coqide-dbgsym_8.5-1_amd64.deb
9f81666c693a74d16a24ddeb54f72a1a02854024 1140812 coqide_8.5-1_amd64.deb
718424154f1da9850ba22ece8aff932aac2bdf80 255784 libcoq-ocaml-dbgsym_8.5-1_amd64.deb
694c3518a9868730d3c377f8ae2cecba21e6deeb 69760 libcoq-ocaml-dev-dbgsym_8.5-1_amd64.deb
60757d31f3ded9df7eaee904bda536f8867ad266 13128252 libcoq-ocaml-dev_8.5-1_amd64.deb
9ffd5c49bc8665ace8e417d92c02926a83444c9e 3432394 libcoq-ocaml_8.5-1_amd64.deb
Checksums-Sha256:
af86edaa640de204356b8e38701053226823b94cd7e3ec3bf5320c37a24d729e 2396 coq_8.5-1.dsc
4c3f72ef9028c2c48e0a42b6712084bc50d9aba175e5474d0e4865e304dbfc37 4824349 coq_8.5.orig.tar.gz
31089dc90ac284f47739e82247d03ff2cd7ff1ab1edb0f7067dd80e6e1b65003 16240 coq_8.5-1.debian.tar.xz
51e19d0dc6933d599e1fbdaab6fad73d380320a846115c00438e87e06d9b29fa 1220704 coq-dbgsym_8.5-1_amd64.deb
d6ae6014710b41757e08f9cdebfd0bce29970cc656220de7cd863d53ee2b012a 887342 coq-theories-dbgsym_8.5-1_amd64.deb
352aa80e682d4108e165f8baf41be075141b6f5a9c46116dcd266ce0e7eda030 32926788 coq-theories_8.5-1_amd64.deb
a27182cd6a8f8dce8b3a78c22c3722f63486208aba466d3878a008a0b5587f8f 12751646 coq_8.5-1_amd64.deb
fba08a22ea3cdac968c404d3efc234dcc98b13b9b96dbfd672aeb82a5a2daaf3 337360 coqide-dbgsym_8.5-1_amd64.deb
38d74806f68622252328e74afd5641db6513f90085f1a68e86ff05d9b120d2d5 1140812 coqide_8.5-1_amd64.deb
2eec6cd7c4cf6abae383e39e5e2fcf16d687acdb76cfbe885c3e2fe1348e655f 255784 libcoq-ocaml-dbgsym_8.5-1_amd64.deb
c3ea59b741f221034a9fea1f1170113dd7ba1963bd988e7d255d83b5bc550676 69760 libcoq-ocaml-dev-dbgsym_8.5-1_amd64.deb
d8e2b133e5a616557481783f25e504db9093860766985561ff2e9dd13f989455 13128252 libcoq-ocaml-dev_8.5-1_amd64.deb
14e4f0eaeb9640218f9a36a4289f477cae051f9aaf7372e5ee02f18e062bb61d 3432394 libcoq-ocaml_8.5-1_amd64.deb
Files:
d933427d387acc2634f8f1adee3da7f3 2396 math optional coq_8.5-1.dsc
9063f5cef054577c98901f5a067dce5b 4824349 math optional coq_8.5.orig.tar.gz
831a886deb2d89350756af4c1e6cb270 16240 math optional coq_8.5-1.debian.tar.xz
01c240e0993adf7a0915ed75faccc281 1220704 debug extra coq-dbgsym_8.5-1_amd64.deb
f317e1110fa7225bf2414183c1220fdd 887342 debug extra coq-theories-dbgsym_8.5-1_amd64.deb
0c6828430ad0b499fa0219b3be0dd27d 32926788 math optional coq-theories_8.5-1_amd64.deb
aa667b050fc711ee2f38f2c63edc4a94 12751646 math optional coq_8.5-1_amd64.deb
7672925dca1576642aa4da33c5a93457 337360 debug extra coqide-dbgsym_8.5-1_amd64.deb
6ca629247867c15a730383398387802a 1140812 math optional coqide_8.5-1_amd64.deb
d1873762cf99abc16bd8b15c50442c1f 255784 debug extra libcoq-ocaml-dbgsym_8.5-1_amd64.deb
3d7313227c2c17e2890f5d297b670cca 69760 debug extra libcoq-ocaml-dev-dbgsym_8.5-1_amd64.deb
ca5bb4786cac39a8562d276d9f07995d 13128252 ocaml optional libcoq-ocaml-dev_8.5-1_amd64.deb
53921bd6f448bd45cb4e523194043eb1 3432394 ocaml optional libcoq-ocaml_8.5-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWp6E1AAoJECUFM8yim3ZPCZEP/1aZeUCMYaJqcwEDI2RGgECR
/DF3ibUtFBXKTunoiWmryfZKtzlYpxqzwQjdT01nUC/81dkflurZo6NZWPHESTxL
oGBLxvwyX2IuU5Ym9K+TGV61A+QBRudg/BGNInBtSqAgcAozp3m/i3ASC7KDNTnu
/wJR/F/EtM6AOhNIn8ridwzedZSTENUDyTLGahdFAoayRoeGPGf1rFNUA5rVeQQW
J93tIuOWi/h0IQOWtLlVp+NJ5OlurEkgGl3tLQcpV3ecdbVzs3yjxhtRvWEwH9ls
e9NYhKDYWdyPfYl8Uy0Oi40yQa3+TE6z29jJU9mr5YHEvB0/oRztrwaGJ7nF9PIj
1tetyOrP3cWzljs4yiMf40cd7aUZImTEKdROGxDlzGJnd3U4c2LCAS/WZJBgUqG0
6W2t952+jKdf8Gt/DcsMMuXUinUNxt+MFIhWMkSES/dNBLcbic4R7qyYpVNHQX9A
+gRKbmkTdQ8tz5pNjGDmkwvY6/PZHReEbsRhOkm4v2ux/mv1kUeoD0TKribVSW0Y
TGMhYTETXhlIDqyCIYTLYy9T+Oc08YXAH8sok4qX8KbbowC5en9Kjq57Z6JMmOwY
p61euWcYTX66VgPMJqptRMHxP05+Cp1TSQXSENcGLvQxj2hvy8JtIg6G3k9hIDaP
WT4Fr9M/5eXA6sAyOTQD
=6m5D
-----END PGP SIGNATURE-----