Accepted coq-iris 4.0.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 4.0.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 11 Sep 2022 12:33:53 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=XCuZrGXikzBIRLvoKroR7wqsZMdRIA3EzAKMSkMBaJk=; b=gqfiokEcByCPFhnzPf5BamgMdn 6Kl2xpaJ8/wxsu5UWdZ1YO0sDekM6L+uvB9VYzu9rwWimKv5XGJ9JtZ2PZepJTRWdZQkHisafB6Uv R9taCGOPpzRsgQHijMgweNG+ByN+Clp70KPRvbEZm/M0Xy0wE1Tmz7WJk3W7rqo0oBhZp0B0Uqe81 co/6ZL6QCkMCfWUyzOIqkMcxU/4yhse9NTCEPLS+/KgtlCPL8b32tx4e98nW/oqJOeh33ykUVcayu tE7BwgTCveKG3qv476LlTa02ZOe/IbUFOYW+4+7ocAoxrMrBSjtlGmi8Dh/QGfSvhVys9x9e6VSbF qLJZHRoA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oXM9p-005Huh-BJ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----