Accepted coq-hott 8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:51:05 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hott_8.16-2_source.changes
- Debian-source: coq-hott
- Debian-suite: unstable
- Debian-version: 8.16-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=lSB9cnolbNgCXrxDNSqHFrOy+qwGMfzP6qLIQvuurMk=; b=ETQMsCUNcf1qwfgugn9zBDiUVf BRProvXrbb8G9GSmWM/Wn7IA2RGPgbI16Z6WWN7lHtjwXy7fLbLfk7RjeP2+sLHncLwccTh1Jtcrb mClmebREo2HpT4+fSn4Q9S2WRX+UrIYXUNGzKPWT8ZayTG2ET8rX4kOsu6iywk2omR6JF5OuAeMh1 EnQjMkDdoZed2G4E8e1uJLkY5/Zbe7tbpHYuf7Cjj/5XWs2O895ifkffzTFo2VilBNk6wOp63gD4y eJv9yqn6n3Z6RKix6A7ka06LiuHdYU+ANg3Sdv9HEQPmxM9pQq+6mdw5VxI92HMx1/tCx7YBCibf0 acRKrAgA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaYj-002q56-Nm@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:59:34 +0100
Source: coq-hott
Architecture: source
Version: 8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
850f6203774696d876deb7e1f2d635a55cbeef0d 2029 coq-hott_8.16-2.dsc
e5b4373ca265f5ad58fd2de53906ce324a04fc7c 2568 coq-hott_8.16-2.debian.tar.xz
93cfd307f8b8dfefc9813ac9afc0524f1a3681b0 7371 coq-hott_8.16-2_source.buildinfo
Checksums-Sha256:
de6b2215b593361cfe675df880b424506808a5541e731265a163cbede11ecc9a 2029 coq-hott_8.16-2.dsc
8f9598ca8c9eade7768472185220daeee59eb1e47536bc32507f4af549ff5d30 2568 coq-hott_8.16-2.debian.tar.xz
03744ab26292044de33072cf14be80474a3190e5436fd70416eaa6aafa1f0432 7371 coq-hott_8.16-2_source.buildinfo
Files:
306f28ec44dde55abcc242834ea3889c 2029 ocaml optional coq-hott_8.16-2.dsc
e5892d134df1eaf6988b60d436030d6c 2568 ocaml optional coq-hott_8.16-2.debian.tar.xz
6230d0f1db06c517427dff1b7cf1f951 7371 ocaml optional coq-hott_8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ02cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKEoP/0lZdxywJADPShKy6lL1B94C4Mo73t/O
aDs3mTmIfMkkEVbnJo6ZndfUTE1D0GXCKp9dJKXuTRrxlNaWaJeTANNWBcUTAn6G
RB/2WefM69QyjXRrcp9LEPcTrFcbEOq5uIAZ4QenqYFRG1z15qr5xSw9wWvZip9I
ihW6dq7EXitT18UghiYNYV4O5gPYCARdZos2WWgDtpt+HoeQYKN9oQkrhIQFvw0G
lszXgilnZZK5SQjq7+jCOd+SRmOPMY8AN5e1ZzUqK0G2u2dhyrqSl53ctSD6D6KJ
ivu9GUa29DJwq1YsgTQyhv8w76qd9sYyRElMeML3shxO4CXJx1+wXnwt4bBY1bcf
8679kTDI5AkV9E/TXkkuePoACxozkBrxpWRRj3yXtj/avlnDHG9O0tKvw7wgy4Mz
hCNDOzn4QeYWmMmiHT70oQGYwabJX20dP46pd6yjMO8znCfRjumchSIZtiWuwGnE
ARRV41qUyLrj6GvNWk4Anos5TdIun3MsCJ2AEK8dw4flV9oXjR37tKY+kpQZDNGn
QMVhPl1kN8YxFHbOnl19ZxhJmuh3LMExCrvN22RV9BYcNuoUOlrQNl9NM2YFFbTx
GUx6rQRlBouA70V1NyZLfwq6/hnyOz0QhBXbn5ZW5oCdPzNvVcnn/LnAu1iPQ/Yd
dNHy3muIyDP9
=j2hn
-----END PGP SIGNATURE-----