Accepted coq-hott 8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 01 Sep 2023 12:34:17 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hott_8.18-1_source.changes
- Debian-source: coq-hott
- Debian-suite: unstable
- Debian-version: 8.18-1
- 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=We00ZveKJclUdGb1yLi9LOPBhusDOI9m+QP9da7iIU4=; b=nalFzxnUFWqmesMzdQxwgSWILh l/4j/uRU2LIjoRmAOLNxfX8CeNYljjnNqpae4gzhZbBsCzXgTNwXmydibwo8eY714opn5UCbfGIR6 NHP/rVJVvphRwytv4C4Phz8ynX3aOzkkx47lyjwIoOaHoTxcp62FPCj0JbykbMxygjxrtL4J0bywS QyCd0CRUsaVn8gkAvpo/fwHQAIP6q99tejfPXwn0df4l3t9S4vV19/AGak2pUOiYgFXeCYO6B74/5 fetavbbtDEIpsGuMbZTpbvaEJC9uC6Fi/RlSZ0s6EOWNRqsbRKWTvQSVgVdmc9wmzCZtT2OIEH3rx WFvPOqRg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qc3Lt-0088cY-Ay@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:05:19 +0200
Source: coq-hott
Architecture: source
Version: 8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045075
Changes:
coq-hott (8.18-1) unstable; urgency=medium
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1045075)
* New upstream release.
Checksums-Sha1:
b31aaadb3cd9bb5955ef1050afdca93ccddd639c 2029 coq-hott_8.18-1.dsc
96f4590291270fbfc35d47705933b70388295403 909335 coq-hott_8.18.orig.tar.gz
644a87af3ea59dcc3fad599972ff5eb4604e8e98 2844 coq-hott_8.18-1.debian.tar.xz
5d9044f16a1cea508e0380f59895dd7abc690342 7520 coq-hott_8.18-1_source.buildinfo
Checksums-Sha256:
dfe65356412f39e28e38d918d72d8989a83831a0f63413db35682b2a008428b9 2029 coq-hott_8.18-1.dsc
0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
646401373a126160573b2d9c4994ca2d59b31421ec100972773354d494552c5d 2844 coq-hott_8.18-1.debian.tar.xz
46c4df52f70d6710d284e08b4d608cad622bd3cda6aab1d619069b761dd26dee 7520 coq-hott_8.18-1_source.buildinfo
Files:
66626976014e03d4f50b7d6779b63155 2029 ocaml optional coq-hott_8.18-1.dsc
1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 ocaml optional coq-hott_8.18.orig.tar.gz
b9729f9f21db8021b622194845873eed 2844 ocaml optional coq-hott_8.18-1.debian.tar.xz
dbedd435d7a24cb09c473edfb6d68d87 7520 ocaml optional coq-hott_8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTx06MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr/IP/iTlsOyd40bv39cDuZIHh1nEU8f82fK+
4Jx6kYfeq/l2fPBZispdjG9FLgdK3MlY3BXkrpfvWwEVft4yAGGV+XDHN15C26KZ
xs630zXCQgG0ztQBD2oHwk5g+ATdoRML8VUs7UjAvM2pLv2B5Sbv2gRZ/nrHtStP
MsKGgEnJhJEMkAwiiYCYAkI11s8EG3FTEulYypZzo71b+YLn6d3+X65uCcC8K0ee
Jzanaa3GHbBn7S05XNUpTcjMwYPW5BfFoAT29FAUqPeyossk1MCPTDDhDX6f1oqC
YxKiSqvsrzpbwHPzDOemETmEdf55wWLO2cJM+XiiyEPz2OrgH0Fg8YlNpFur8kns
0ROgsAvJ6rTIyL8yfmCb3wwz7rRKwi3vhIWd8HU4XVvzkSEkIU+/v2lEVQgmIrwb
3UI17ihmQaT329WeJzEulB+oE5LwZnBvaU8SOCe+lVEoFBeDmw4ovDXbEeYSheuD
ldgtI3DqRSlEA7roKewAzLI85l8p5/fHcchOnj8SgMdHwp6RyYg+x5FPiHRjb7Ja
SqzQUKZ2y6o5y+7sc9hyrPzhE7llTHdtymNhA3wURnKGg21iGyGEIEVlX+avpjoV
O01OBuNhsePvX9GrBZKI5vIhiwi99+6jschjf3AQfBkQUXHCFDDe9p3Y4m+xH8hD
rddldkZX/gRr
=6jH0
-----END PGP SIGNATURE-----