-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 17 Jun 2023 15:37:55 +0200 Source: coq-unimath Architecture: source Version: 20230420-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1038382 Changes: coq-unimath (20230420-2) unstable; urgency=medium . * Add a versioned depend on coq 8.17 (Closes: #1038382). Checksums-Sha1: 6394e0b63d838475ac99fc4661a9ca2f0cd4f5b2 2109 coq-unimath_20230420-2.dsc 492ad08679f16d33d092315ac79612c10dd8d667 1860 coq-unimath_20230420-2.debian.tar.xz df908d8c26ab03434aa99d5e9e50dfe2811614fe 7442 coq-unimath_20230420-2_source.buildinfo Checksums-Sha256: 34a4545731dfd7b18a0bd8de8b99ac41124acd6a4c82f7484be5599f89baf89a 2109 coq-unimath_20230420-2.dsc b33f7bfab26889bfa295eaa89f6dafc64a65743443a605af608bbfe083ae672b 1860 coq-unimath_20230420-2.debian.tar.xz 6bb511e9645b03dee0185e6cc8acbd0d7c66d729b52327c404975f3a21389840 7442 coq-unimath_20230420-2_source.buildinfo Files: 7f8fee5e175e7568ece60f8c9653a5af 2109 ocaml optional coq-unimath_20230420-2.dsc 82f5bcc6fca41a105d57d540d3145d59 1860 ocaml optional coq-unimath_20230420-2.debian.tar.xz 9077c6427f584793c1afe8970bf886bb 7442 ocaml optional coq-unimath_20230420-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSNt8oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRjlkQAIY7/AF0ufKx56fM1Fd2BxBcCA+SprzM I4aqwL6Y3b2YwO33CpzT8GYZxVqMn+nazZCL7qzp0MM2LE5UOJWRt0q5gDmNX0WB CZknqLhpjZ5HmBdnREOw6yh3wkc02JVBJQrxk/p6PDkzqL9HAGO1Wn4ytifQ+z/Y GQ3IJaFz5oq1S4KJRQG1zJ7K28KJ2G9UjF5SRAnm7baH7PIQ7Wy1hf1R8XfM8TTv m576vES+rkYYHZSLtZbJpiG2AzeZdKcKCfDYTCRoqvUKGfzoJbkeYTdku7DX6HW1 HuD60z4CI6x0u7/YCwOW2fO3Z2VrILhZ0GFDJZsHnXwGJj6+SxbFJaLXDVjM7SeC 2C7FcX4a8hQXlD7P5PYWDPHPucs87ku76MmjxX1bxcYOnsdS5UwYkCxvTlmOcxrq XdokZNBnayh+hf0dyvldZfzYZLmSm8Z8pJuoZb/j7F29GveKoPBx2AUEGPBfXhXJ 10j2+812daJPAeEgpmHoa/3YN71zemKUt4dvijU2ckOjuLdvyStM5MTRPJbgQ1Cd sJIcyjhcSflJIo+GHVaM437wBl7jzGOwot7+028oxfCbrHJ41T4T8c97YZGCqIc5 +vMAGgAfhqKZUtv5FiEgEkmYKGshPfvoIvVaIPx3dcgrU9ev9LPLhR2yIM51bRAr JZqrMJBtLnWo =OZAQ -----END PGP SIGNATURE-----
