-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 25 Oct 2022 21:25:22 +0200 Source: coq-elpi Architecture: source Version: 1.15.6-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (1.15.6-2) unstable; urgency=medium . * Rebuild because of new elpi. Checksums-Sha1: cec5b31ca697bb93ec2323c55eb25b7bbf5a1b18 2025 coq-elpi_1.15.6-2.dsc 641c8b3689c8d2a0c48aabffbd90358b76851aa9 3256 coq-elpi_1.15.6-2.debian.tar.xz 79b979bdffd16dade70a6f84089d18e37f05f274 7979 coq-elpi_1.15.6-2_source.buildinfo Checksums-Sha256: bb2fdae60522bd1693175652754d9181391fe82de60b938a3be0ecb2d1cd2d37 2025 coq-elpi_1.15.6-2.dsc bbdfc46c86c265b2c2e95cf79bd57bae8c80455330dd7510962a2828dfbc33e9 3256 coq-elpi_1.15.6-2.debian.tar.xz ee8ed326932dcb477cc02d1bce5a42b6131e7bcded8ee1229a67a1acc62be8d5 7979 coq-elpi_1.15.6-2_source.buildinfo Files: 14c8ca8871d594af5baade7b9b647b1e 2025 ocaml optional coq-elpi_1.15.6-2.dsc 05f111bce3b5fada02819b5c05a7042f 3256 ocaml optional coq-elpi_1.15.6-2.debian.tar.xz 95fc1e56633f7732d5d6c7e41bc00b20 7979 ocaml optional coq-elpi_1.15.6-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNYOEISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRclAP/R9iCid/MloPlPMvGprOVMqWAmjuoX14 A6h8Jh3HFMPbys/ugq+ubhp/eECYraJjmGwP92bnCpJ+FsX9dj+ajsYSO9SdcXTS alppmynn/YU+rJ8b0M8y23VkCot/CilhN35nm1ZwXHZoCypjQTJz+Sjut33lphNI A1pcrhfiB8wXYM9u6aDk0qlBqhhzUuajdTJRccbLgND8jy6QP89U7A3buAwA/Vs4 dmch2LsLThWhy53OS5KIbRiRZc+3SaUAUW7cQ3d2WpBxeyQ1HlVZiBdn5adapCu9 eGRcIVPp13rv6sEOAGLWAIpdMpSZEiCckmmMlhw/A57xu/Axq/CkfQJpizFr+4zF 36DxRM7ACW0r+hN8KMxSnWQLMeYgKjEuRqQKkXcg25+HWG9tXmyN99gcfIW50DL0 t5EF9Jz0q4Akoz35f1Zorjp20+U+GnjNdrufmaE+4l6GLEbQEGLCvlpvE2pOOMjY KUm9aUFTgP6GEDmhFx0J4Y/mwNSCP/lXfSRuZ5sc5JPHKZsuWR0xU6q9No+O7wh9 twvuk4Xa1W63l/ygWVcZTG4k/a3rG2LHor21Y4NEgFhgJmSOzcTjITz4LmanVHa8 UivO5+XCZynu2HTQyObzzQeFckDl8xyOMSTKYc4uxX50ZIhsODr5E1dr7aXZmT8d QX/5ovloUggZ =+3bO -----END PGP SIGNATURE-----
