Accepted coq-hott 8.16-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.16-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:03 +0000
- 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=MWNn7rjEbKVrntcp7/ZvLZw6p25oj8RAlhs80iu5+/Y=; b=R6KStwQmN1DwCJAZcyoB+lM8OQ wN/dx+ah87+RvL2i4ysbmViWDix2nSuXBd3fJ+Cgrv+QFAw9gp4vniDehr3tnj3xohXKIykAdWGNF fBs/xaUlc3d6KZl6R+YRhbKhD6OTU1hviMQtpyth1QI5zhd2IIyxHG2Ws07dVKqAu6izsr6vze5Yw 0UnfNEIUzjOAFhyCoO/i4OS+Q2jz1T58ZZk0/fq4PLOmZXG2D4ljHBCSfqyhAFk0DauWjeGc5oUps 8tYp9YCdykGP4WnhY/kELWG2I/MzQqJbEHEEIOIYnZOmLLW54cv0tKNf7Uuy3U6VfUWWIOfBvh9gp ZgXsTeLQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVUzz-00Dh6d-C7@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 14:13:15 +0200
Source: coq-hott
Architecture: source
Version: 8.16-1
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-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
22a1a6ac41694e24d851c1d584ce53c0273e089b 2024 coq-hott_8.16-1.dsc
820723b59c6ba448b2382c01e60cfd889e8ae23f 868101 coq-hott_8.16.orig.tar.gz
0b0869e05dd8eac7463e2edac22201665b679dd7 2524 coq-hott_8.16-1.debian.tar.xz
28a9574d9dde87566818ec857788787a48547685 6971 coq-hott_8.16-1_source.buildinfo
Checksums-Sha256:
38afd6b3a2561cb98e7ea1f7c17e798337019a0cb95a44f3c80568dd44e62ea5 2024 coq-hott_8.16-1.dsc
4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
26327d03a2b49a71ed0f96e18f5e62c88a7d85ec79fcf84c4947921217bc7c67 2524 coq-hott_8.16-1.debian.tar.xz
10376a3bbeda5e8b3920398cb58f51e2892293f2e270b5fdf846c2eab2f73398 6971 coq-hott_8.16-1_source.buildinfo
Files:
668aa2b5e2703857bd181a9bd9006264 2024 ocaml optional coq-hott_8.16-1.dsc
70864b137dfd68b412f803a487367bf7 868101 ocaml optional coq-hott_8.16.orig.tar.gz
8b5dfa6b21e2030e4a2027ba0732fa2a 2524 ocaml optional coq-hott_8.16-1.debian.tar.xz
c5049a01eeb1417faabcd2a8300b1782 6971 ocaml optional coq-hott_8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWJDgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlNgP/AkPBkNkeZmmSvPDFLR9wlAjqzSjHmWM
TTo6VMSDYLbH/cPXBd6PBnWRRJweJmZOHP231v6csDTMdnQWa2ksvfNoTJyDjDr8
/0MHNQcU7bepycHID96rdIoTipV833dZldsTGuXIjFPMfXlVX765y+xUhWTLQF46
Z0KJV4xORsbUBa9isfaP6+hJZIt68X0Y1dhl//arSDCNZPKTeog4tQXkTMLGsdXF
a7G2/C9raaNuk/+KEZbAeIbRiotWqG+JZ81hhBOrmNHCRLWiPerWNrpuyuRKYgR+
AwaPOtbnnmJgCtftBLP7vjSfkw6mp9XSiddeA4a1dPCZI3lQW/xv2oAdFy1SasSX
uvzSo9mZwK/7rQb4WpI6HESzZABowruOhbms4wcb6Zs53xh+CqK0CniD7wCiQ38f
SGQLdojD/wvEukR2UVt1bjau7GSoo/eNWBE+mvaaPGAcRnsRCgBoggxX+/SlQh46
PESMTF4dn48440r/HBnRO2tvWWxPOM/6gfmRkCqdBFJXPzCdmRK/zaDcTuA80XY4
li3phpBM8Io+twHChzQuou6de77Mlyb/CXU0aZpuuk8g9jsD9cFA/RgQcl8IoRlS
JL5Jv2De/5D1Kz1PGRpv889okzQHyD2lgeAV8NFDyy/zHOMqL82n9XU1vvApQyC9
63WFb705yH0T
=TMlS
-----END PGP SIGNATURE-----