-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 14 Jun 2022 07:44:34 +0200 Source: coq-bignums Architecture: source Version: 8.15.0-6 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-6) unstable; urgency=medium . * Add coq to the autopkgtest depends. Checksums-Sha1: faf64fe1bbb76c58e15ab0472a7f58532e3045c8 2235 coq-bignums_8.15.0-6.dsc a68391d5b72e485e112886a167450b9e8e4362cb 1912 coq-bignums_8.15.0-6.debian.tar.xz 3bc01b8d6bcfd5daa8f69acc2dabbb8606e12ca0 6735 coq-bignums_8.15.0-6_source.buildinfo Checksums-Sha256: 250a7e5b2ff4ec7f1e824fa4665722ef85f6572a845fbddc9633270f96857dd1 2235 coq-bignums_8.15.0-6.dsc b66f61a53980680a23dc1a15f3d5b7813aaae8cd4a1921d745d6427c3550ff7c 1912 coq-bignums_8.15.0-6.debian.tar.xz ca21aac51b7ee2961b029c231876ed12d260dc177c8cfcec62e6438db9b9aa4c 6735 coq-bignums_8.15.0-6_source.buildinfo Files: ca6a835d3c40441094962b0eff5b50c1 2235 ocaml optional coq-bignums_8.15.0-6.dsc e938a0d8a5f2b6d3df24688ba6ff1545 1912 ocaml optional coq-bignums_8.15.0-6.debian.tar.xz 9536d6da916a41bf2058d35268a46f4b 6735 ocaml optional coq-bignums_8.15.0-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKoIHgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3IEQAJLsEhmfhlpAIrKCYuPgAvu5zTBV76nJ YMUsp4WzzYrW1DV1KCWXu+SYRtAvSZdxeivPT2RnFeWBftVQnBSLGkiq/E96NdKC yystzV5Hb2Y0qXEQrfzg3zAwNDgDnuNukUeXuaZ3M+5srx2YhuTN9zkQ+qFhQL8T G9XgIbaHSMhVRkSZt8MGduVKtv6CwVHW0nlZon0v2C5kyKHIhkwLwKHIBu2CtyMu z/cSX1molAmY8IYbt8HfcbZ/hcmnDIWgmBLKCvoc4rbFmO6lyJQgQdngbJB3TRUL Iyqb5Eguj2Kn0XYAr1EUgN257/f7VuIDWLVinZ/gHMYuoh6rUq5CK1DSRfyDj8sb spXU1i+q6m/hMWaqVydE6Ztmce+bRCugG5SA46AGutsiKJipRR3rTR6YUO+OGEHh 1jN8+fTsG6Er5GpYF9hOvMe4fPUfTKEYcWpJRPJ2X/tgURf9v/rOyYbOPw3f/waB 3SHGbkYWPwgR0FLklx4aGU4EPzG0jn8vnwLsZt4a6+l7Dk28De4XnQpYNNQ9M4xK wYJSCyS9Cf2GclTSeyg0fgfyLvXVOL61hw9+zBU/FObhwrNDpYNXMTnuQU9t29/W WCNa226LfNHNoTAWnukmNVvfmbU6iUq3ChB0tfaXp2fG4Oi65StOP9lbKLunYmcH SA+ojnNKA1Gf =gVQS -----END PGP SIGNATURE-----
