Accepted paramcoq 1.1.3+coq8.17-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3+coq8.17-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 25 Jul 2023 08:38:21 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: paramcoq_1.1.3+coq8.17-2_source.changes
- Debian-source: paramcoq
- Debian-suite: unstable
- Debian-version: 1.1.3+coq8.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=SnT9YjglUkWhub36kFakyhcr86Q3LkLHQR0vclAQMb4=; b=X+GQitEElUWp1T7PDcopDJVXoA EPh/Vih27Nze4ia8dkhl/UChJig/Kx413Vt/3/qyjHNdtFU2NTiVbkV8ZuKLdCpeKFSu/ePLKPZFr VnPJp17ih/JHNd3GCzfRFivGl/EVAsdPtieJjebiMFj9Tgh16r97MQ9zAbE4yjEaFzK53YS7VHrTq qDyqUY155Jzu/49021pK3fJ1VfTpRCeqB2mCIiSwf/llcE9KmNGYmrGE9QkKbyhTlTVoKxB5Fb8Lh zIN+65Rlv3hAbxPRKtfT7tyQVy9GaMIepEnON0Ddr+kOqXrx52r+x0WpdlQojtwJkprADOjFBac9q g7sYpIkg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qODYj-00FuSa-NS@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 25 Jul 2023 10:02:50 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.17-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1041869
Changes:
paramcoq (1.1.3+coq8.17-2) unstable; urgency=medium
.
* Make the package depend on abi-versioned libcoq-stdlib (Closes: #1041869).
Checksums-Sha1:
d36f46ba53a01d9115a3d21f6912df3d4c2b3ecb 2111 paramcoq_1.1.3+coq8.17-2.dsc
5d9ba4871a0e4d1e33bab5109018d9032910bd1d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
604df9c23bf462199f12510ff6599109e46faee6 7632 paramcoq_1.1.3+coq8.17-2_source.buildinfo
Checksums-Sha256:
b0f3ad117032324225398bc18cf63eb395d9dd7f1b2a79d228bd83f8621ea09e 2111 paramcoq_1.1.3+coq8.17-2.dsc
43e2688be32c9467f395578daec3914d6c30267fb420e44fc5cdbe348ccd4f9d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
af10960d14504674e7c125ce0896d4ab3c1b51cd2fe6c50312162079af454341 7632 paramcoq_1.1.3+coq8.17-2_source.buildinfo
Files:
dc5581576913a736873e950e6086e6d3 2111 ocaml optional paramcoq_1.1.3+coq8.17-2.dsc
f77b28ced5d3037ee6ded490c30c1014 3048 ocaml optional paramcoq_1.1.3+coq8.17-2.debian.tar.xz
12c0db54b25d1dca9fd6089535ad469e 7632 ocaml optional paramcoq_1.1.3+coq8.17-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmS/ggESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcsIP/3iiNpIK5IJ79We+zpgQMAKg/PmvqUbv
aIK/ebl7jg89BAE18NEbJccwBATW/0CfsWm+nZNgzmv/VTwFJbRyKzU9ScCAX+Y2
ZVnXh/IRUSd9QJMttiy5R6/DqWFEv8E1Vf/CkU+kJGzEvXNTfzaKwQNdDVhWYoAp
fPujpVWJg2fio0jVLbV/+fVnKOI3riNFiy+gaUIvyF2TQQiUf39G6Vfv0sEPSTej
KE0+MlDugocudTvjMbHnnyhE6tkA7XdVhqzEUlgTFxwhZ7iHt+OTvktyykL6VVZn
4TqrpPFoQNYXNp6/wF8Vc4XBid8yBeIrC1CmCVh4sKCaRMMt57WLG0k1oonoSlTj
civIPZDOj+dLNRLP6PzQV69AWy5YpAbA3hQlQFRg4knenNmcaaOMgiuYgagMeVPs
fcqNd+6R5pyezwChnCJR1GFXux2hTXGQRJOGv9JXPCSEV01G34I4C+mzpwIqon8N
Gapbr0pZwVYTSXz1YoVKQ3uvTPDF3QyESETeDMax8I3bjrNGn2zou58bwGitLWFg
T0fn+x8GVhRMeyBxu4pG7iLsJY88hsFEDf2IfgU1GnMYNJYMs2EgtXflP+oeggcB
Kmwg7V4roUvr/se2+M4H2CenY/xmDKq7euK1xAXdJLdlKHWW9Sv9voYwigy3JbaL
v/6MsqoCoc8l
=4ug+
-----END PGP SIGNATURE-----