-----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-----
