-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:37:25 +0100 Source: coq Architecture: source Version: 8.20.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq (8.20.0+dfsg-1) unstable; urgency=medium . * New upstream release. * Refresh patches. Checksums-Sha1: e7592e717805becdf9d7e9ace168c294fd17d45c 2570 coq_8.20.0+dfsg-1.dsc da4396e9768c936d4738de3cf8ca5a7ce74634de 5012820 coq_8.20.0+dfsg.orig.tar.xz ec3b3ceb2c7ef6593e44b5fdea09c9c8bd0551ef 30196 coq_8.20.0+dfsg-1.debian.tar.xz 5122a1e4294ff57072c3441f58c60f198c474841 16487 coq_8.20.0+dfsg-1_source.buildinfo Checksums-Sha256: 755360f8b920f34d644458666cff717e7156fb9d306d9f2c95fb78c4f6239d0a 2570 coq_8.20.0+dfsg-1.dsc 6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb 5012820 coq_8.20.0+dfsg.orig.tar.xz 22b28f6091524c62709bbf7e008dc2a4d4eaf24bf926c577f37a1b9677864ba2 30196 coq_8.20.0+dfsg-1.debian.tar.xz 665a91d8e8f630441ec3295c96349af4f123f8d82b5555cb63995a53642824f2 16487 coq_8.20.0+dfsg-1_source.buildinfo Files: 1ce486723635b971dd0a700922072558 2570 math optional coq_8.20.0+dfsg-1.dsc 7f8934a74ae494a3049e1da65916174e 5012820 math optional coq_8.20.0+dfsg.orig.tar.xz 3ec7f17ef2079cb2e4a99430bc7d7bb3 30196 math optional coq_8.20.0+dfsg-1.debian.tar.xz 92ea6cdd8a93ff73592f2dd195113e6e 16487 math optional coq_8.20.0+dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9rmQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYPUP/iGX64mnWTJD2fqHZkQXmwyTL6iZIrry wnrpXJcYRoBoRru3XTHKc7IPLLB9DPZpXGSYnkaxYKM37qjPFnSoxSIrked3bF1O UdM3MmOQYYYFa+7JmXOZnwz6i1ufEXewc3CUbR1oKresnnORWaaQvEZ6baZYiZ1W GyCCZVEnGI3LLb15eknmYqHHgN/xezSEnVTUoxIs64ssWtS7sBP0DkQYpesCyaBJ eV7YyokrQmYxKw1q6OFNct7iONrhi7j3LlxeMbWG/TQm8l+RWnmiahrZFfjTyGCu qB28Ln2fAce/5Vh8uWIliw8/dH5s41RzKZ7Z9/HYaSh59W1X86dO9R0CDobLS7cw jvzBwIZ6Mf13CQf222rr7I76yaPexmPZFohz4zG7ZQ8pUHdLzJuMNp6OgUsqN4c/ inZvAx/vdQGa3h4GtmkGZA/TTw5MJJ3hquG7NWx36BhpkOd8g6SksF2o8X0sYaTr hJ2nWJDQ5AvrgLyAi+PZOEeD6yceNS3Hmh9egNH/1POWS0dl5a0yDQnDF+hr2Rzg zwrKJMqUD+Y1swxIjGsW03U5SaZPkWVktMx3oeORx7nXhAsWzIQCqqntuzDIrUOb BxrPxJYuBBfWnOG/j+A8vBpLHPZfXJ6MKkSgb0gJdbe2ZC/ggmo5K2/YEo6U6qeo Qwg3qhVMPi7F =zirh -----END PGP SIGNATURE-----
