-----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-----
