-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 18 Dec 2024 12:09:37 +0100 Source: coq-elpi Architecture: source Version: 2.3.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (2.3.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 46c6793344fc09cb5be18c432ea34452c5db0f7e 2079 coq-elpi_2.3.0-1.dsc d8155b8c3c4d7aed87ae0a08a4024f18a58b4e1b 734643 coq-elpi_2.3.0.orig.tar.gz 7c881411fc0710ee4e87877126e0e0fe63bcc7a5 3752 coq-elpi_2.3.0-1.debian.tar.xz 6ed2fd7f6e6fec63f72947f0e35dd851494a2ed3 8321 coq-elpi_2.3.0-1_amd64.buildinfo Checksums-Sha256: 2dbceca37734616349643e585f708e44ff269c26b341edb97a99b04fad157602 2079 coq-elpi_2.3.0-1.dsc ce8f1d1bd95744328040013ee5843960604acc4961fb59f1fcf5f6b9dd03b5a2 734643 coq-elpi_2.3.0.orig.tar.gz 0fd86e8c277b25d3c887877bb11f5f6d8c7bfddd2503ddfbd3384f8bc6aa503a 3752 coq-elpi_2.3.0-1.debian.tar.xz 71f6c4bdd6943cf642ee42e1e819fde7876a4dca5d7af72650d8d2b8f5ac6517 8321 coq-elpi_2.3.0-1_amd64.buildinfo Files: 032db44c6ff19c616a6923eccf0ba0f6 2079 ocaml optional coq-elpi_2.3.0-1.dsc 4c35df6383b33476a1d2c6dfd3da018a 734643 ocaml optional coq-elpi_2.3.0.orig.tar.gz 6b55f295bc86f6dd2e967db380211cb1 3752 ocaml optional coq-elpi_2.3.0-1.debian.tar.xz 8fa7c3d9ab35a02800bb3458b4b9c86c 8321 ocaml optional coq-elpi_2.3.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8MwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURedD/49iKWsvYIGPvMABfa49spz L6/vKdm0L/itgKBBCm7/F1C6C5c+mNylfviq+9nChFPG1RqlVnEF00ie1an7Nf9F tmu+FMz4OYwy6n/RustrKyouW9hCnPMGQVuS4C8M060rS77VTLAIsN/2TgWBx2mQ cAvoomYLB8TdPBIY2r4X1yWCXxyN8GT0dP15rqr6gzmSgdclhylupOkiHfsGlJiP 3qPFU6SQP+yqn9V7iokW9NpmVQEeo4md+XzaeLfWKIYkcgu6H5uUvn6YNynslgLH Sc0IoZMaLz/2hX+w2oHkPZU1oj6vcq20pH6R2CWlF+pyAijaUqfseJkMA8Tqk1ob XurqN+sKXI3HnKMGEbMnSHshnNqCBYl20+t9VEPImxsg21OaEzsqXVEPQSzMboAJ 9cdH7a9/99Pl+frfoMvRaRNwkh86vJiSEeOusfAgCWw66ys9MQP+wBv7u3P6kEzh Z3G0NosZxCFPjEKmofUebTSiyCAQho+sKKM0UHlK9Rg561I2FHe/aDp+n425Osed 1q9E07jeW7j450+b6DTOzocPKt8D2Qn5F/ATD3FO9t4ZIuiUYr1K4p0Lf5XszNpn +FsKMSeYJ2VhdUR9GkZCAKp9kCAPa6jXnehhE+xtEofp6wOPMQVr0eG5uj9jznf3 6wIpuqWuYspbqRGae9eo1Q== =KOY/ -----END PGP SIGNATURE-----
