coq-iris_4.0.0-2_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: