Accepted coq 8.16.0+dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 17:56:26 +0200
Source: coq
Architecture: source
Version: 8.16.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.16.0+dfsg-1) unstable; urgency=medium
.
* New upstream release.
* Refresh patches.
Checksums-Sha1:
34a50fdac40b67a97cee766ef95a8d062a3e6bc7 2629 coq_8.16.0+dfsg-1.dsc
a29f18b0b6f374e59dcc6f7cf412469023e5e672 4714668 coq_8.16.0+dfsg.orig.tar.xz
0b535b2dc0ee2ad59079bdcf354d98e5654adbab 33692 coq_8.16.0+dfsg-1.debian.tar.xz
192412b5a2c8c64ecfdbfc698292719dab3f349a 15033 coq_8.16.0+dfsg-1_source.buildinfo
Checksums-Sha256:
5492183512bb1b5b19d54237b229a9a8212e17c87f866beda544b07767c67530 2629 coq_8.16.0+dfsg-1.dsc
07757df60075521dd685e3668eedeb322ca8add10bff04b27c459232c7fa3b86 4714668 coq_8.16.0+dfsg.orig.tar.xz
5b03892adad7dea8cc996f70e38eaac02df1dd4d384e247b54efe83e65c8966f 33692 coq_8.16.0+dfsg-1.debian.tar.xz
486f1f11a53a08a9c7e2c23a860be22581a7e437c473ec47440a049e97ea0bcf 15033 coq_8.16.0+dfsg-1_source.buildinfo
Files:
d597e9f572a4ff68c422bd8d278372c5 2629 math optional coq_8.16.0+dfsg-1.dsc
45d1ebcbbff27af223e1f9119db454b2 4714668 math optional coq_8.16.0+dfsg.orig.tar.xz
71c25c39da0d491e8cb39c6a5197947e 33692 math optional coq_8.16.0+dfsg-1.debian.tar.xz
44b36a6b6539c58055d14021e4e562f0 15033 math optional coq_8.16.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWHKISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRuhkP/iCUJI8taEJULOvv0dppBPPnZavQrxGW
rwuOFGQQllBhSv+8asPlNIkSr3+eDLDOw/12P4fJPllWiMzbwG/AlUWmib4xEThh
puYvNO3fqF1i7ZZtrOMtspNO9cQLFoB0tcf0ZH7cejGWQ7t7/UFKM1Byv0YJrsoY
W+B3QMoFCxe3HX9n/cO+7IRaE0T4rWsT3vpuoiyE7vKbgprIvrSG4ONgOVMoy9TJ
r/XbJACzHJAN34AaPe8Sv4ouX75fy3dTSqvRk6vN3lhuUjrufKLt25ELsGnDDgl6
ECIWJHPKoc6CAE0QmEbsZEtUGtQRcGVpZ7v7esJy75yMRvJ7aDoiHsEDtrG6XDuX
YpsXpm3OirilErZnIBKys5R1NmdKz7Q9TrO0w0Mc9UD8Yeo7H8kpiGh/o2w9S6Ob
WpuUnuqviUl/VCV/+x7JSuytO0OU4cdwwMoIncJuUgXa9nWLFoBfJkfVGj5Gj2fM
v6VXfgUsquLYHMgRF2NHgjcv9pfgTE7ll1EpGeQrLR3F6RrkTrP5fZxaE6xn+eHD
jTn0pvFT0KWEHkI3hm0Z9Tqe1G0dXxl4uIW9MDV0gnyt3um/AFhgP6ycFV70soi7
rUTbjnhmpBX4J5k7FWDzaT9Hjj935zZjG3N3BgaaH42/YBx7q/s7OKDrnVTHfJH8
fShU4Oqv4ETc
=7wmW
-----END PGP SIGNATURE-----
Reply to: