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