Accepted coq-equations 1.3-8.17-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.17-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 01 Sep 2023 20:48:28 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-equations_1.3-8.17-2_source.changes
- Debian-source: coq-equations
- Debian-suite: unstable
- Debian-version: 1.3-8.17-2
- 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=FJ2nr/fyZW1YoxWD33xVcswB3BrMXjkZcvh8Gzd4BWw=; b=MFiXI5xns7ox1v1rCd7JZ+j4hL mWoKAdrP91vvIXSOb7W8StCMB9SvB3UA7udbFHEn7m9+Cy51oMRkN5WOTAh7CGWEbUp3w7kbRGjxG E8WfRUrlQQeuOS395i8BfNLPrl9ZjSXMwXzZUpcOzl+diGMtkSreFzYRWufveXYBvLO2xh8H1pOlW /XYNca9JpOBGPjI3EH90uGGmFXKjtOt3majZijZHOrI5RJoACNiXHr3bIDD4nm0L7KzUyzUo3ItMK 3kZJe02h/dm0X3nGvvvBjLLCkujNrgPp3Yz/n2g25skHBNssueCnMdG3xlxSZyGZdEY1CJ57oARYg 7Xzjn+3g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qcB48-00BX5s-Pv@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 01 Sep 2023 14:06:29 +0200
Source: coq-equations
Architecture: source
Version: 1.3-8.17-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044207
Changes:
coq-equations (1.3-8.17-2) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044207).
Checksums-Sha1:
60108a8e130ac03aadc5e3bc103e96624295054e 2166 coq-equations_1.3-8.17-2.dsc
a0820f73e3ce718b7295fc321766aa977c5a99cd 2628 coq-equations_1.3-8.17-2.debian.tar.xz
4fd8a5455966c158ac4b802a5949c6db42840a92 7622 coq-equations_1.3-8.17-2_source.buildinfo
Checksums-Sha256:
249f2a094386cb11715b094d7292b5471ab496ac8d3c0fcf2920633722133d12 2166 coq-equations_1.3-8.17-2.dsc
f5261229cd6dd423017b0c53fc6a2ab8c5c01b39cce0197362304dc637566a02 2628 coq-equations_1.3-8.17-2.debian.tar.xz
15e54bf6029383ede8b73e2b1690050e34af0261bc797da25b7d20d9c1529dd3 7622 coq-equations_1.3-8.17-2_source.buildinfo
Files:
f4bee9a75972da56bfd4f5cbc454b644 2166 ocaml optional coq-equations_1.3-8.17-2.dsc
6b90df1b73ddc24533637acf2c0ef4ec 2628 ocaml optional coq-equations_1.3-8.17-2.debian.tar.xz
e6915ff153b2ba42970b773f645dfa00 7622 ocaml optional coq-equations_1.3-8.17-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTx0+kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdksP/2gsDCxYa9aPs2L8mjvjJ0MitsV4HUoG
fUgYaxie8tKi8gpU8CwzO7/srTH+MSUqLoioBp+goAr8yJsSn6eoSm8lgflhHaHn
2gmnOOL0jaykxdF1gY3BIRpZK2LWKRi55falBa7TiYLEMmBo+b2Ihu9RH542HE25
UfPOCcebxbq1gv6LnjD+AdtxciYi97n6SElIxz0NczELXbTxw4KzaQv/5CGahV2H
SiS2kVxSNL8x+2g9Vr9o9yfUgKhjc7s9eru+Iq7m1sU6l9+ynOILVtIAK2G/8ujz
UXHcQOJnUBzMNerpNApE2a8ARQJS5FryOmX6ekwQ6Fv8CauFC1VwMrpuk2NBNpUA
4dzID4VDpqXFK9/l5MTi05tj9cM44wk5Rw7RktC0PsNB0AgVCi3eAXhpACmgpO6I
2WBowPlektn0V5mNLfFyhXtaKjGa7f2Uwu90nAqlSHHu2bvbdkiRnpYXO0bPxu+v
zPrFRJbtaqUyLLM3f3hJCxKfV/iDq7DH0R80CjdkOGGZkd/Y4FDnKN3an5fAIh/T
qhTTuBaMCQlabHd4ebke7Q4IXavMtObi3kumc+iQ/iwfeSalI4I8gU+NV3cMAhL9
yzOj8jt/+PVaXMeq+M+OeQsjM/41I/eMSxwsDG3bjubOyZSqPqqGksz2JULidXeY
ouB9xp/e4mff
=lyWW
-----END PGP SIGNATURE-----