Thank you for your contribution to Debian.
Accepted:
-----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:
pgpZ2i2MRUQLC.pgp
Description: PGP signature