-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 10 Feb 2022 13:30:32 +0100 Source: coq-elpi Architecture: source Version: 1.13.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Changes: coq-elpi (1.13.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: e65da77790c0e85c1dcaa6b663896a6f3f2f366b 2088 coq-elpi_1.13.0-1.dsc 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz 98ae9ca6994e18612e07ddc1c4b54a9eb88ef6b5 2584 coq-elpi_1.13.0-1.debian.tar.xz a6bbb774fd62966903f8c14caa2dc0f62a0ce5fa 7929 coq-elpi_1.13.0-1_source.buildinfo Checksums-Sha256: 467ed60f44e05ae295cf46145f9e109c41b09ad7443882267882e58a7e8ce9c4 2088 coq-elpi_1.13.0-1.dsc 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz 633906994ddd7a134fdaa1ca70b4ba38d4d23ee5901711f5dadb1fe872484fc0 2584 coq-elpi_1.13.0-1.debian.tar.xz 2bf7fecb6a73c6648b042631aeaa612119f64bb3c203f967868f3e266977e0df 7929 coq-elpi_1.13.0-1_source.buildinfo Files: ba39e4a78cddc42ea6534042de84567d 2088 ocaml optional coq-elpi_1.13.0-1.dsc 2c3fdb216e98c32610a8cbe6234d4e7f 360052 ocaml optional coq-elpi_1.13.0.orig.tar.gz e99565f0ee3af9c986946ad5d90b19a7 2584 ocaml optional coq-elpi_1.13.0-1.debian.tar.xz 493215e0804c7b8e8879df8980edc126 7929 ocaml optional coq-elpi_1.13.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIFBZASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNPgP/0u4EI0etu2pJb34j6FkCQiqAF1IfSsq 0RmIo2lR3MYqGYTZxZQXr01ztwzsHKKhsubmFSvdF6At2m0GeY5FiMD8BzLANeQF LE+31eFpLsOEtoPN5jNJHZ6WE0u9xLQKwDH52CnR3WzoBmYzzYGKHB2CuZStsPli MFajxley7yJKjQ7PAZxOHe0mngRFbn+I2SAW3zCSNsSXfh0+ZupMNUvjBIK2WyXY 34yGymLj0PQG8FKNHDI9N1E6y+YVHH1CvUxGQrRYtAPLRUrrmUgpMgXVM+68q7YX i3ZFowzsxVplHGstrh/umnSODFwv44qcdsH9cpP2pFhXz0p3hOw2P4DvpmON8auu 4y94l3TIFmpZ7RD2Rc3K8ZLlkxdxAPTNIOxtu8/KQmoo7VG6hM20SLIIZoxxQign uG85bHI1DkMLdib6FJNEIcTTCyMYS4N9YkIn0EuG/W8rCe8v8MFWhi9caVBE5FMe aLqOPzRZLKoScq5lRT/hnpdkR4YlodhXnT8DV1wBlcQhIu7QJTaQ+vS9z0PRSfMh pjs3IjANibnPpLaqz3CXqJoZOUnoS0pgfES24IWq0rBRxkQgg7z462NjtJlNqAaQ kZRhNwAhxJv/MAQuMmGBrdqT9u5RAp/yKJTe2u70Fixn+y+0cRNlSFhG5T9bwEB8 AdEHuTQrv73E =vj2L -----END PGP SIGNATURE-----