coq-stdpp_1.8.0-2_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 11 Sep 2022 13:06:05 +0200
Source: coq-stdpp
Architecture: source
Version: 1.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-stdpp (1.8.0-2) unstable; urgency=medium
.
* Fix the dh-coq usage.
Checksums-Sha1:
437f3e97fe3ee30c87b60b3a48ac5c88238b0f39 2051 coq-stdpp_1.8.0-2.dsc
ac3a908cd20a81d0f8d789e74ae239ad509f54b6 2336 coq-stdpp_1.8.0-2.debian.tar.xz
7ebd208f786318757e7b52df29519ff3b125deb8 6934 coq-stdpp_1.8.0-2_source.buildinfo
Checksums-Sha256:
011b9bcca93c51f1e75733f5e2428155104965c33115a86d01e6d14916f8c33d 2051 coq-stdpp_1.8.0-2.dsc
ce41936d1329befdc094dbce4beb505a2eca2f8912dae02f1e2340dd91d3ae93 2336 coq-stdpp_1.8.0-2.debian.tar.xz
11f031306fbc16037a08b354bb2da27e6f7c4dfa97635ca347dd40a89c78f93f 6934 coq-stdpp_1.8.0-2_source.buildinfo
Files:
660967cadfd85fea3a679d87b64e264a 2051 ocaml optional coq-stdpp_1.8.0-2.dsc
cab101e040c2b073cf27fbd07db9c458 2336 ocaml optional coq-stdpp_1.8.0-2.debian.tar.xz
7db09e1766d520c0b6b7d60b02a3dc35 6934 ocaml optional coq-stdpp_1.8.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwUMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqV4QAJtCnb80Z5Y7/XLLqunHC7EbbeA4jRVH
ffJpBcI9U25swvXyYLBsWDxUfz22gYrMuwSR/CRaMQu5Ji2Ma5StM/mwC6FUE8fV
eXqv90JWQ0q547pN9A5KbneJsOR0U2Os6kOwKH8rz4r0Lw7ELWM9JO/aiJbQjtlU
BMEu7XWGFomaDRySc4EH7b4SABDn6OGL09yMDV/lhSc6VHS5irQoC3KI927dG6D+
64Ww3N2nCnJeV7f6USTvLP+Y+6F6Cabar50jYb//O68lllhJ0IaJFhozrtsRietQ
n5nF+Jibh5I6S9mLCLnPwlPY+pkAgxrLLHERXjU2TWn+UJ/qIVt7UHppfaXndYa5
H8eVSjRtUWd3xsab4lbGZ5qLzcPIfntoipRl4gZG0JR8SoWkNI2nFuQ5Pkj7BhNN
Mh9mABpIOOtgDvFL93ZFdOuv+ERcE13gKwz19c5KRdaOA/Z0yf/XkuEvx5HFMRjR
ye+cMVstS7AqSJMOCYkKzfct3lwZO7KAG2CRTwLtZEIk8ffeRSzqpltZ5/iErL/E
R0r+d/MVFDOF3LIaIXvUOODueS54X67JWEG2eqgkq7edHcgOSaqNEvSuRblkxrMi
my93I24WiU4VwJzdIzhN44KzN+dyTzomZDIzOweoANINmEshF4yOi/O8LaqzWSN9
KETva5ehInCT
=VLk2
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: