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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
Attachment:
pgpVlApm3mXVu.pgp
Description: PGP signature