-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 13:48:40 +0200 Source: coq-bignums Architecture: source Version: 8.15.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-bignums (8.15.0-5) unstable; urgency=medium . * Point d/control's homepage to the coq-community one. * Use dh-coq. Checksums-Sha1: 72b2caaa31b1b4ebd98b57c4dc722b1426be3e1c 2211 coq-bignums_8.15.0-5.dsc 30d0994518060416d34e0d22d954658f8815a5be 1876 coq-bignums_8.15.0-5.debian.tar.xz 6f42938afee5c674ae6fb98836c054b085bffbc0 6731 coq-bignums_8.15.0-5_source.buildinfo Checksums-Sha256: 943115e01c488970b6e09421338827cfbdb901f47bd6db627266b134ae6bdf33 2211 coq-bignums_8.15.0-5.dsc 4ba2de3e433a6bbb801ee29a951cd9d0dd9df97018d21c0f8a8bb8318ab5d421 1876 coq-bignums_8.15.0-5.debian.tar.xz adc1c83115f63c492cdb1c15f831cb94ee6e639276be44c3552e2debb25d04ef 6731 coq-bignums_8.15.0-5_source.buildinfo Files: a505d4424c554bd374b64d84905d5f81 2211 ocaml optional coq-bignums_8.15.0-5.dsc 75882a9b809ad7164f3d9f08561e3dd1 1876 ocaml optional coq-bignums_8.15.0-5.debian.tar.xz 1d6939cf14da95f2cdca9f8147141285 6731 ocaml optional coq-bignums_8.15.0-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl0rMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRaTsP/RRqM5iG06bgfrAwaOQ1ugKGDGH5sTQT 9s+r2Mqm0QN8HJzP/vt94Zzw7+tSQfsy//Ypud4GiTfnXT0oZljeo8znpED4OPVf n19Zu5XFnqMUnYmt77KJotuKQHwTyhpLtNr57KeuWxesmXQwkSztBL+uWzD1hIp1 ku3x9rKUjGUiMR+/iLcMymkdgtgSNXArN+OXveoW2JiFjLqvWMM5tOphtNgNQFXX e+S5lXKmZ6ybAhb1UO3nRfRc39JkFqgQrpxY4NzsMYjxDAo8O+7CJ9+7laCa18ch 3z5gADSmVnG8NEgb9quUm14V2PQL66bM7eqU4PvNMoYN1cl6hbGXTU82drR7tSob jE1uSv6iLn2Dm0ZAHOJ1Cb0eW98Gy48ug8xgnT1IJXBudKtjnpnvcp0/CFWvkdp8 f0NIiy9yykMQjFmujcjDuRZC3lz3kQ0PayBGxU9iqH5z6EbLdOmJZssgQL1ok0MG MSzeEwqL24jX3SCLBcZ6RLBpM824CP9g4HuJ+PiUQEegC9anDx2HEHpqbpCDjO/m OWhYSW3h/KrmgLFskYrJjBC9oIpwb74EDEZbmNSuHSVB+fltQ+4+tRwf/SUvW+VT rxsJYJCAvyjP3gD/GQjkbeOGKbXPnrYOkyxqEVdBjsASO5XWvW6RV/bbXbKCe2ux N1QQzbvwZZpN =MllV -----END PGP SIGNATURE-----
