-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============057880189522843029=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20bwAKCRCb9qggYcy5 IY1WAP95hjwOHApRtak/p3l4dNP4Zg70IUvnP41sM8j5VgjOigEAofusno1XQ5/J ZIUUY1zafc5Pyr1natewgo3NNk4Zhwo=/vUL
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)