Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)