Accepted coq 8.14.0+dfsg-1 (source amd64) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 08 Nov 2021 07:43:58 +0100
Source: coq
Binary: coq coq-dbgsym coq-theories coqide coqide-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev
Architecture: source amd64
Version: 8.14.0+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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
Closes: 995543
Changes:
coq (8.14.0+dfsg-1) experimental; urgency=medium
.
* Non-maintainer upload.
* Drop retired Enrico Tassi from uploaders (Closes: #995543).
* Rework d/copyright, d/gbp.conf, d/README.source and d/watch
so updating to a new upstream is cleaner and simpler.
* New upstream release (update patches, d/rules...).
Checksums-Sha1:
be61244d1a948574d72b3df0e20b4ee622de8228 2534 coq_8.14.0+dfsg-1.dsc
1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
3dee7aff9f1973122d1da7dcd04ac2b2b75262bd 36296 coq_8.14.0+dfsg-1.debian.tar.xz
5591c86378e8a94e1aee4843d668415de116429e 10253236 coq-dbgsym_8.14.0+dfsg-1_amd64.deb
5305db0eaf84397471769ce15bf5f6ab4db77fcc 24893748 coq-theories_8.14.0+dfsg-1_amd64.deb
a669a5e02dcf91d62d7b975600ca867959fec914 17771 coq_8.14.0+dfsg-1_amd64.buildinfo
a45ebabd0d6cb3c864896331aaabd92b326db320 78891060 coq_8.14.0+dfsg-1_amd64.deb
de04df14a39f47af2b0b5c341766a50b30487768 575060 coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
70e6f683fe71ed9079d3f6e8c64e911f0bdf3c99 1893820 coqide_8.14.0+dfsg-1_amd64.deb
e12492b6562ca2852fd489af65f84055594eddb5 1856912 libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
d7cc7b6eee6936d4bfb277b2821607a1fcd0f6ca 57553644 libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
b591742a7f462c753ff6e281a4c7327cfb0408e0 6203400 libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
Checksums-Sha256:
bf69dbe69f425d8fba44b55f88d233e22aec7a854e000661da3584a17873b8a6 2534 coq_8.14.0+dfsg-1.dsc
7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz
0a40555cf2e382e6791d25013e5cce6db1f79b33afe93a23c517432a76930f28 36296 coq_8.14.0+dfsg-1.debian.tar.xz
a76e1cf738a969927539a1d07c44ff4b7c192032076ccc446f607a02ceeedff7 10253236 coq-dbgsym_8.14.0+dfsg-1_amd64.deb
72caab8ffa5cfff786260d0ef814feb0cf497edd0fff5a48e573717a410dcfb2 24893748 coq-theories_8.14.0+dfsg-1_amd64.deb
9b86233fa753eaac67cfff37238b8fe3212845f2cabf60c24b33dc2439a98562 17771 coq_8.14.0+dfsg-1_amd64.buildinfo
0586529fb20edec77cfca91915b36f7645cf2c43282f4b0e8fc7c7fc212aaf70 78891060 coq_8.14.0+dfsg-1_amd64.deb
22a1ef28393a35f4e244ab0fedbda6b25c43bc1a532498678753eacfb71e749b 575060 coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
9a0fe6171c72d762377fc38a3c15fdfda025ac68b05849e08f999d164fb969c2 1893820 coqide_8.14.0+dfsg-1_amd64.deb
8540c6e0cee5faeac903af706fa4724123f7decef5f54c8becfd8b88e94443bc 1856912 libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
3ad8143ad7ceda79b9b19f0ddadeb701dd5a0a23cc5a145b05496c4d4712ab9d 57553644 libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
d9c2731042f014d058c2460afa2c7043abfcaeebf39205e0e5b89abbcaaa1fda 6203400 libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
Files:
a9fa08ff74db98ed3f8a817b70cc5e94 2534 math optional coq_8.14.0+dfsg-1.dsc
c7d98331b270e6c20b734deb1cd3f049 4612184 math optional coq_8.14.0+dfsg.orig.tar.xz
fbf50edc3a672b63bf8078a3abcfaa91 36296 math optional coq_8.14.0+dfsg-1.debian.tar.xz
aa44861a5630deba1ae720db5e74c91f 10253236 debug optional coq-dbgsym_8.14.0+dfsg-1_amd64.deb
3ad993a6d97e92d79ca69b6aa6583160 24893748 math optional coq-theories_8.14.0+dfsg-1_amd64.deb
5fa20358ad9ebfddb7bfef490a506dfb 17771 math optional coq_8.14.0+dfsg-1_amd64.buildinfo
ea61c5f2790e8ab137091223d71409be 78891060 math optional coq_8.14.0+dfsg-1_amd64.deb
1da1a93fb6860904e7a00ab9672a341d 575060 debug optional coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
1655b32f6d6da573b9b9c987ec81ed72 1893820 math optional coqide_8.14.0+dfsg-1_amd64.deb
9e234142d65d7aead97a3f4aef8169f6 1856912 debug optional libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
32333aab21ca5dfe32be090d55044590 57553644 ocaml optional libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
2ca3f7720c9c7333f66ee1ced8f92ae1 6203400 ocaml optional libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGI0OASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCnkP/RNWCJP+Q6lvgt1n2vwT4n73x21pjVrP
2WWmRj2hSY6+T+kOJfGfxift1lxgslHGjFzR2ldpZ2oZC7v7EZHDNcBIfek4Ze2q
qwP/bY6gqBIM3S8eP51pFRz/HZA4dw1aVY67UxZgLxnSG6OzdhDDXoVStkMbzcaB
pYWmdwYo2zu2Xbdi8TH3milwbRZGuVqrsU50cLrsPZj2bStHndAk41Qjia5kL2gS
aqWoGHKL2X/y8RF4JumnVtgk8bR7SCRLwX7hP8ut8s6TpdOg1brY9tmbLv0hdAAy
JxciOdBUzrO4ocgZ9B8RF0zIykvYRifjg+BaMbd19bEODSHEA7X/2WDC7nTB4bYi
2BU06j25HCwKpMP5FMX/duu5hfBi9PiMkXNLH1WYG/zeFxrXZbdQY91hQ35XvCbK
+Id0CLXiBgFquotSYLmZoW2igi1cz1PeVY653IWEOcKaKf2ogEFPpFRXodr55wEt
hX2y5L98XJFtpGHujXtTkqI/6NfxhUBfcBjV1aAvDSuVBUuPt3A3R+h/Sv3Qv3xH
AIg/ZldWWOJDPJwgOBZT9WQgv3FRHP90OaNAQxRj/fITrTK7PgiPOaNrKNf7xmUI
Z7eBRHLgaTzPrsXY+rIBKn+FyuDNvifzMfOxLut5dKS8265d1TwmGinYxo+frvBI
yFnDWEwI6FAz
=aaME
-----END PGP SIGNATURE-----