coq-hott_8.16-2_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:59:34 +0100
Source: coq-hott
Architecture: source
Version: 8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
850f6203774696d876deb7e1f2d635a55cbeef0d 2029 coq-hott_8.16-2.dsc
e5b4373ca265f5ad58fd2de53906ce324a04fc7c 2568 coq-hott_8.16-2.debian.tar.xz
93cfd307f8b8dfefc9813ac9afc0524f1a3681b0 7371 coq-hott_8.16-2_source.buildinfo
Checksums-Sha256:
de6b2215b593361cfe675df880b424506808a5541e731265a163cbede11ecc9a 2029 coq-hott_8.16-2.dsc
8f9598ca8c9eade7768472185220daeee59eb1e47536bc32507f4af549ff5d30 2568 coq-hott_8.16-2.debian.tar.xz
03744ab26292044de33072cf14be80474a3190e5436fd70416eaa6aafa1f0432 7371 coq-hott_8.16-2_source.buildinfo
Files:
306f28ec44dde55abcc242834ea3889c 2029 ocaml optional coq-hott_8.16-2.dsc
e5892d134df1eaf6988b60d436030d6c 2568 ocaml optional coq-hott_8.16-2.debian.tar.xz
6230d0f1db06c517427dff1b7cf1f951 7371 ocaml optional coq-hott_8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ02cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKEoP/0lZdxywJADPShKy6lL1B94C4Mo73t/O
aDs3mTmIfMkkEVbnJo6ZndfUTE1D0GXCKp9dJKXuTRrxlNaWaJeTANNWBcUTAn6G
RB/2WefM69QyjXRrcp9LEPcTrFcbEOq5uIAZ4QenqYFRG1z15qr5xSw9wWvZip9I
ihW6dq7EXitT18UghiYNYV4O5gPYCARdZos2WWgDtpt+HoeQYKN9oQkrhIQFvw0G
lszXgilnZZK5SQjq7+jCOd+SRmOPMY8AN5e1ZzUqK0G2u2dhyrqSl53ctSD6D6KJ
ivu9GUa29DJwq1YsgTQyhv8w76qd9sYyRElMeML3shxO4CXJx1+wXnwt4bBY1bcf
8679kTDI5AkV9E/TXkkuePoACxozkBrxpWRRj3yXtj/avlnDHG9O0tKvw7wgy4Mz
hCNDOzn4QeYWmMmiHT70oQGYwabJX20dP46pd6yjMO8znCfRjumchSIZtiWuwGnE
ARRV41qUyLrj6GvNWk4Anos5TdIun3MsCJ2AEK8dw4flV9oXjR37tKY+kpQZDNGn
QMVhPl1kN8YxFHbOnl19ZxhJmuh3LMExCrvN22RV9BYcNuoUOlrQNl9NM2YFFbTx
GUx6rQRlBouA70V1NyZLfwq6/hnyOz0QhBXbn5ZW5oCdPzNvVcnn/LnAu1iPQ/Yd
dNHy3muIyDP9
=j2hn
-----END PGP SIGNATURE-----
Reply to: