-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 11 Sep 2022 13:11:54 +0200 Source: coq-iris Architecture: source Version: 4.0.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.0.0-2) unstable; urgency=medium . * Workaround a dh-coq limitation. Checksums-Sha1: 597790e2d9369e877f0e149bb0a65b91c9366625 2147 coq-iris_4.0.0-2.dsc 913701eabeb3a296f679880677406c01dab38369 11944 coq-iris_4.0.0-2.debian.tar.xz 2fe3a0be583b343912cec6c72f91cddbf22f1cc1 13577 coq-iris_4.0.0-2_source.buildinfo Checksums-Sha256: 997bd8d939b6b659071ff71455f95367932e5246b1749d3745a83cbcdc1c561a 2147 coq-iris_4.0.0-2.dsc de2c5755a64a43673c3de5b0293e3958ac2b0d122239c2b650a076bf261c403f 11944 coq-iris_4.0.0-2.debian.tar.xz 4b75f8c32d4fd8d082100d822ae1ebcfbfee66f6a3130910acb618a4e8399a87 13577 coq-iris_4.0.0-2_source.buildinfo Files: 4b6232263c03602551d66a855f0c62b1 2147 ocaml optional coq-iris_4.0.0-2.dsc 046eda63cf9e2cfaa7476f3a94ca350f 11944 ocaml optional coq-iris_4.0.0-2.debian.tar.xz 9219d5d51addf819a9fa7ce3b2e2b5ca 13577 ocaml optional coq-iris_4.0.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwrkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJwEP/1J8fTH5ZUZNsBhISjxB851GMQIDxImE KB8MTlbVhmQXWUHaSSKgQ4V3nCBzzpzjPs8wp2wE/UB0v403RvCQEICTVofMwNUr QdaWhywGDI9ABQkAhNVdw7QV3A9KBEQ80POj3JnJrqdQNx3ClntLN8zTiEG215TQ iCX6sKrcw5bwjtwox7NdqYW/OyU+Qia5YkE+uUPqGefvC/QOYDfUeBNrS70bI/fF 2f4Zad4smFz9YMQRNbtDtTTrypfwXzqwQ7OjpBvrQbRKKplOWvKmS8m8G/6jikrg 3KqYgsZ2oNHmFg2lR1vHLCYTtW9JrQ1Ap7+G36LpD2KkvTGhf/RDK23ciuVm1HZ5 Fqecbu0/5rYZ6tqlsRf7CAscmowz5haAl8GS0YIUu65vBJxP1cEo+GPp5gn7zRRF lMsT0IPgubsHc5VmQt9g+4PG5X+j1CfkQ9TICh3vfSsuPNTJqo2CX9KRwQN5Ch4p V/8qa3IyDk6ER2s/69a4rGb9afxzCK1JrrJAC2kSP/OW/fmWyzR1bH08U8Eyg41W ztNiZyiKs/lDzJlnm3Mmp1LJBhCBtWTN5JUYvotqSrhCaikOS5IMBwb2/cqcQIMy 3zWE74AWCmt7yw8mejy9ekXTYI0NWRzaWvjLJ4RZyRLBAHDW847IaWAD6kSZH2RA gkMzzTdUbLGd =aZlR -----END PGP SIGNATURE-----
