-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 20 May 2022 15:53:07 +0200 Source: coq Architecture: source Version: 8.15.1+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq (8.15.1+dfsg-2) unstable; urgency=medium . * Don't strip everything! * Add a patch to fix a typo. * Bump standards-version to 4.6.1. Checksums-Sha1: 570791bffd68b0941ad5d0a826017b33cfd8298a 2599 coq_8.15.1+dfsg-2.dsc 1e9d99664b157e78209e6e98b0a8826546bcbef8 40084 coq_8.15.1+dfsg-2.debian.tar.xz 25ab70587bf0ef1f953819ba3fa352c12337f565 14697 coq_8.15.1+dfsg-2_source.buildinfo Checksums-Sha256: 43ad17b535b9f29bc1a1ae3d82c38317c6a8d29dd38d66f12699905fac38dfac 2599 coq_8.15.1+dfsg-2.dsc aa60c44680a03018d7e63f0e90215447e02874a4c36f90bdd189e47d9b6ceb69 40084 coq_8.15.1+dfsg-2.debian.tar.xz d39e7b8891f82cb6c348f7c52e491c628f10c1757e13abfccb437e693c6d3af9 14697 coq_8.15.1+dfsg-2_source.buildinfo Files: 3f122be4225f96d88b902d3975bf9168 2599 math optional coq_8.15.1+dfsg-2.dsc 3e1bd64583e1cb326546c2d745e0ed45 40084 math optional coq_8.15.1+dfsg-2.debian.tar.xz b5a60fe19c004b889df2d04f26736968 14697 math optional coq_8.15.1+dfsg-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKH2YESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4l8P/iAJQfSHRW80RORQD9BmqpjDsG9ECjuM kJzZFn9+dXnJdWQA9fOreoFV5mM1FgMsCtlabOi9Jkad6Q/KXMNBrnpZWI65kkna JvD/loGY92UU6zYMLE/oBHU2/PX7SC/ktoHINk+7rBTSDVsTnJmPcLlt2yQZMZhu oAfhxG7o/Ox6YLq4Y73j3Fiw+OewVuDWmeG8UBlj/JdS9Ox24Z2tFnmgX8aGGrok wwoWetgnyJ+dWiUT3wZbmJiuIcavRA51kUAQnWDrFJV3YJ+M6iWctDGbisHQYKS3 eEi6isNt1rqjYy0gOe4YVPLLY51Oapp5H3PDSyIds+ECFwUB+48VPtSNGyj91yXT QOB4NMv9sq1WMy5HRZXhricjvOisI4KPHWNfQE/iaOes1qLQlUtnJ4GYwfv0gdwe rLPHhvgyuR4II4c91OHSkr7387U2oID/jU9DwqNC525lpVhatvRJlOijJNIY3iak aHZSHP3YhqAtw7nl6WZIohn7TyX18M3Z8jOH8kWC1xzVSX+cM+u9sT8iY4y9DYFr MAJXREAlyM6pOgX2NExYrbDbk07jO8UeNtPb56HsEobRd7HollWGjYJzohujft+g vbOpslIu4lr7YOvxmBibeJfS+7ZsVCTGXvMOMztow9t0a7RxrzD8Lp2Pb0uJtaph Al9V2nsY9F6t =7l9r -----END PGP SIGNATURE-----