Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 10 Jun 2024 18:00:15 +0200
Source: coq-iris
Architecture: source
Version: 4.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Changes:
coq-iris (4.2.0-2) unstable; urgency=medium
.
* Add patch for longer timeouts (unbreaks riscv64).
Checksums-Sha1:
788c024cdecb1e8fd238379eb30f78112800019f 2162 coq-iris_4.2.0-2.dsc
11838b0df0e42f66dab3b0de14014766519143b2 12496 coq-iris_4.2.0-2.debian.tar.xz
3cd20e06574fc006f0759b0dae326c6dfe49b0e4 14700 coq-iris_4.2.0-2_source.buildinfo
Checksums-Sha256:
aceaa7f1ee26aa2fbe3dc53ea03759a55faa679acf7474658ab454bb75571b24 2162 coq-iris_4.2.0-2.dsc
59584b59673fba3d33d64e971be4a0ee9bd26b5fb35ecbe57d487782bcb71970 12496 coq-iris_4.2.0-2.debian.tar.xz
3e3fe80d62abec232cf88654ebdab9ee50049bf501de0e964e837fe6ccf5b8ba 14700 coq-iris_4.2.0-2_source.buildinfo
Files:
74468abf0bef363ef93ae1d263bded99 2162 ocaml optional coq-iris_4.2.0-2.dsc
896e1086d37be37837f13400e995d023 12496 ocaml optional coq-iris_4.2.0-2.debian.tar.xz
f0f66b962c3d49d57a75a235c1eaa423 14700 ocaml optional coq-iris_4.2.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZnIy0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR01sP/iuxoy+eQODVHBNUiispnFjipN/3yt4O YFbWbNjY+VBuWHdk/PSd8BydRfs2BuWSoSfmWnIPcq2kNobQMiBVoVgZR+LjxcU6 DaiyDCUxx36j9OsxfetU5gjJQr//LO2x1c3tvM0mNLKbGgjA2jKMbzNq+nhuhVCf dSPnDOni3EnMb9DC++Gzx/63VRZXXStwiUg/mwlu3hX699ezsiSKTGiyRZ0WgRJy UjNANkDUJYtVM1EPwZdckUXPrx1dU3vIB+KwnoWa8Y6Bo59Vvdukv4qOSmrT0nLM zWKUMiTxRDGejJGfPUbzxDLGg4Fh+M2TSCoJ4US0k0O40G3hBuNFNlaNi1Svka+6 AgzjoiPTv2J3lCRgZ840FWrxXTuEZzJrP3QdCAbiap8nySYobURMnCN5+pgvz6xb gwdi3M63su0PP/lnBgoH6+cBoDHcEXF6qqGA2Fk3kvCQI7nu8qd2e19oG/hzml1W Q5GIMEMYeQZEoIHWbz95M0OHawQWxM4KSUqUyMW7XVY6DSYQvOf0Qobxf5f7xwJV FFmBtAETWzqiQnDTLoOSHqrFz0AHREg1YR69/IpGDMC/8FG/vFW5cWa/esUV7Yc2 Q+8t8zCK8rjiXcVuxbtHdVZnOAftl6qlqPCGDTCcN1wkzoL1DF2NAgb9gbeU6d2g
1b/6QavOb+l/
=kK6H
-----END PGP SIGNATURE-----
--==============)22724127715509676=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZmcndgAKCRCb9qggYcy5 IeqPAP9wWujLObglC7Ju/beNyed9oa6LMFDeYqv/HxsxqkQyEAEAyh/J4WcTpZ9c eJAlCR8I/2Xj2FksuIP0+IhekFDOGQo=WCT9
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)