-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 May 2024 17:45:21 +0200 Source: coq-corn Architecture: source Version: 8.19.0+ds1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1070787 Changes: coq-corn (8.19.0+ds1-1) unstable; urgency=medium . * Use coq-corn's upstream sources instead of coq-math-classes' (Closes: #1070787). * Make d/watch mangle +ds* prefixes. Checksums-Sha1: add397903762b28475ab7fff9254d575ebe9e830 2120 coq-corn_8.19.0+ds1-1.dsc 372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz b4cb1b926d658ca1c10b5877ab5693e465166b66 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz e053d960ea09ad160083896692d698fe0af4f0fa 8136 coq-corn_8.19.0+ds1-1_source.buildinfo Checksums-Sha256: ded901d24bf0354a7a6cc9a853c7a11b6fedec61be0f9324fb02846a831ea2f5 2120 coq-corn_8.19.0+ds1-1.dsc 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz fa09743467cc02e7887880ea801a075afb425f025368bb33e5f0445d0c7d35f4 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz c4eab40b3d23a9a757e033505c3d4c5e33724fef260f78a35a4ab08f03d6e516 8136 coq-corn_8.19.0+ds1-1_source.buildinfo Files: 644f656598aef573038d4741a6213734 2120 ocaml optional coq-corn_8.19.0+ds1-1.dsc 1d4581910322a18aa965740c300ac1cd 1321010 ocaml optional coq-corn_8.19.0+ds1.orig.tar.gz eb6e093eda37440cfb10ee39063d5c5a 4240 ocaml optional coq-corn_8.19.0+ds1-1.debian.tar.xz 86dde79499e35a7d1ed34496e8787181 8136 ocaml optional coq-corn_8.19.0+ds1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY/kroSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3+YQAIpSk4YHoj0Dx22dacqhTTWhKnHXdcbh mR1VJAI85q8jLRToBmlj85h5ypw/3yKU+IqMyImhImaC3SMnUZwO7Q4Wmhd44Xmh +gcjGMFkvpQc53e7F9q+oSV4bWNUNI/pvV6eo7WZOzkoSi9JnLUZQD2GkyiWOSlP ILTCKJCUs4FXkZuU0WNALqufS8MvJn5+gsx72/7RnuCkxmrIGlkI3j2OYlalyjDu hRQL8BHZSL4pc4s8ByAA8+drTc04c6AXCWiHx6/fcAgmlA65sJNLoY6W5TcS9gan 3OgVXGfdnyvdoFM+P027ZewjWXtFEIl+qQODcKsnuBif/CrK6wCeUjTV3vBTCWUM yHF2m5I0nso+6uq36L3Mb0je1QqJRF3/Hc08d9D5JVDRkz46H3YEkbchKpkkuZ/w fVxYSe1/tI2Owo25T5grUrmcU7+hg9UKdjBKpF+ErwkDF2esSPoUGLt48Sr7qikS csZpYNnfxdoooC8t5mM7N0VxUmIY0TzlgUTjLHdCRwIJbh0yuMoQkq+to9mD7CQ1 U2WgUyWyhgV9GbwJMQU02DdVRpFjir8vGoORLUv/VdgJElZZU2Qly0BLbmxQR1Vg gGrTHzpph5ml62iMaWNSTT5vVykHmeecfeORJqnQdmgRtBrAaanXgU6TuWhy1WpR uaFIpiVtEoon =6xCp -----END PGP SIGNATURE-----
Attachment:
pgp4ekpGn6tP4.pgp
Description: PGP signature