-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 07 Apr 2020 19:11:39 +0200 Source: why3 Architecture: source Version: 1.3.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: why3 (1.3.1-2) unstable; urgency=medium . * Add Build-Depends-Indep: graphviz Checksums-Sha1: 0a507af7f0cab8aa061c9c556cd0ef05a260ee8f 2806 why3_1.3.1-2.dsc f908449afd0f9d4ae6942172e841cb1e9b12c422 18052 why3_1.3.1-2.debian.tar.xz 450bddb62287c3f4aa6afc0dd226f64d6667e9b5 15581 why3_1.3.1-2_source.buildinfo Checksums-Sha256: 48822875e48d0e143ec9b848c092d14e3133d1ea9c9de54350fb2faf54eded48 2806 why3_1.3.1-2.dsc 71e5cc7aab8d351f03da99a6cc5826dff5dd911d53dabc8fc4cdda01c292ad61 18052 why3_1.3.1-2.debian.tar.xz 07136445110d27616f00c71c1970e400a50a64ad077b1ed5a22087c46c564d51 15581 why3_1.3.1-2_source.buildinfo Files: 7fcc5cfe2fa69ef56e5abbdaeb88a8ca 2806 math optional why3_1.3.1-2.dsc 1672cb8a49403b9b7d4ba2f2046e89a6 18052 math optional why3_1.3.1-2.debian.tar.xz a91e56839cefa00565a36c9300f05157 15581 math optional why3_1.3.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6MzPYACgkQdFxHZtTK zf8j+g//Qx88/8A7SUaVfMtbqXkDADvBxMmPYxaGlSV2lFMjhSpkTY4+0d8cTTnC kMETzFHGJdWDZXkHv6pFOABSguxGXSEVPzC6wAKnUvdb+R7uA3Q33JS3z+Tf6itf bMjJS4Cr7d/xPgDNyWpi2vJlk+dirgp6q2myT8Fybphv79P39N5/HAoBhaR86P4O gelcjOqONBuSLL8IGsBbnncoNP/+viG2L/mCY5gFk99S0vwfi5ByoPWp8JiBG6wU zv+6fEXAmNE8wwDA6TaDZGW5wHMdqA+4E+rZAWgJoMelgGmov+G8wGJehJ66WHAH ujW91poG1/caS+2tin+w2bz1yfPnHI8oGcoe10KeyHVP15E14CgX1910BkEL0HUW BDbICbSpT5tIjM7Pcw2L3bl1E584cqKjgOvTyTvkbJICyfuT0bP+PzHgi60CjPAA OIadRH3EwfTjZyuiFjiB0dcGNpqPQWpaeY45tjxC0iBf7m6waWPBkAM4whk3yry1 9EIobS1TeqBeRy7rB/l2jy5+lXhQMIexGst98WHX2OD5xqAIyzMzv+RdghmWdwD0 EiTn9aNiEHf2cijFon4w8VaZuguc2kvhbBQL88zBWmXSmVQ2b/tB7KnEnW3YdjFZ I0+AV2aPGcr/9sp7M3bu1ZM+PAKT/YOSYI5IvXW3ohCzo53Qb7c= =gLNV -----END PGP SIGNATURE-----
