Accepted coq-hott 8.15-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.15-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Jul 2022 15:00:10 +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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=+4glcoiZTXcz/Lj+GWnzHm68fSM/ysQg9mb9fzxCdig=; b=S22rUcjlq5BOwp9Xyp6Eq+Z0vz N3dr4yzMBbBmb6oBHhr4NpEoI8H4iwk0S+b6a2igrnNATE/Z7IxRzqLnN22T4Zq8n3PoEaDAP0TWb qd3HRdWKegOEi9RXezesm9wkVUQmnSk94JoZcbDlNGqjiKQobUVIq7tcv7yYP5sLfOaDlaLr3MrEG bJyUlc0rYz6jeHi/D1w0wamRVdNQcjesFGY6+XfhpzS7eceYTI4QTEN26mlta2vMYJ/qE81dXzfdy mbseOWEE4El4B7BKRFlRn9P4BVyC/HhRRc9bb5z+uxQ+eOXZ7nECJNxwDRDNHdKOp9kSLpKTNbLqF ALcoB4wg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9pSk-0000iv-6o@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Jul 2022 00:13:17 +0200
Source: coq-hott
Binary: libcoq-hott
Architecture: source amd64
Version: 8.15-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-hott - Coq library for homotopy type theory
Changes:
coq-hott (8.15-2) unstable; urgency=medium
.
* Drop an erroneous b-dep on ocamlgraph.
* Complete d/copyright.
Checksums-Sha1:
f150f859b2283c502e014d4a26aab300128b2dd5 2024 coq-hott_8.15-2.dsc
aa6023cbaf0f14b02b1702e885a133c47c69e0ee 839986 coq-hott_8.15.orig.tar.gz
84535b6c3a573de9f44e38464851e7234ce27c6d 2484 coq-hott_8.15-2.debian.tar.xz
e42255068df58e2499cb309c2edafabfbb383745 7086 coq-hott_8.15-2_amd64.buildinfo
e6dddfd600aaa249608b422e4a3f11acfae14ce2 13823932 libcoq-hott_8.15-2_amd64.deb
Checksums-Sha256:
79bbba185873c2624326e6c5c99c6ced8b9bceb2818e020f97c5dc39845af873 2024 coq-hott_8.15-2.dsc
d981860235adccad972303a531daa228f449ab1843104c0337e970cdb0f80c08 839986 coq-hott_8.15.orig.tar.gz
26c4099828cfe7f5083b786793b2419eaca6305963498696a8d820f61b5846ca 2484 coq-hott_8.15-2.debian.tar.xz
97cff98cd2727efc957d7fef53a7dfcd6f8c85ff3751056f766d574a6101f5c3 7086 coq-hott_8.15-2_amd64.buildinfo
ee658e3d91ba471ccea881b21ead2e3d0b350ea459c2f1ef538829becc6da51c 13823932 libcoq-hott_8.15-2_amd64.deb
Files:
aac9cc58a8c49d78db9e6297ea6ca173 2024 ocaml optional coq-hott_8.15-2.dsc
e44a5d92769ba4316a2bbb02231e35c0 839986 ocaml optional coq-hott_8.15.orig.tar.gz
125ea36435b169704d28f5b565210044 2484 ocaml optional coq-hott_8.15-2.debian.tar.xz
c2117869bf2bd4374a9f08d185164be8 7086 ocaml optional coq-hott_8.15-2_amd64.buildinfo
e657148d5a682ad1f465e563568ddab4 13823932 ocaml optional libcoq-hott_8.15-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHZFoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1H8QAJPXWRh8UwDk/m+WqcfWsbXHiLGFx2Sc
wh0AFgKMKvERzrjobKfOc3nzuTcBHXSekDqSqNJdzhI01k5SzMm1VRK3iqu1pxk+
3KPvq6FCj5MNewdOeHHSN313klw2mVtb5/XLpzaDflKzJP2Bb352jc53nr4nGJyu
T7oManlZAmGMGi7NzUnTk3YkBOiL41/o/tOWnxWhLdxI3m7QYLviEyIM1oCBmUvc
RoYFH56bQkgL72mjbngFPin1ITNnovbXYrtBWeLgOSZ7ADdcnnnToUXjgFp+VfJH
+geHQ9koX4zIiuQS08GyM2BOxRe2VZZcpwq5lMIbF20kjAJ86Vo/Mm8B7ZIcJtcK
nzwn4A2LhB6NggF9pjIY2XXPGvTSPtS5GfesF1WmEC11a959v6ecrIr83AulcZLf
bVIcQ+vY6rFOZQm8LhmmpemGgWpfSlq8N9g2ugFqVKx+XVwC3Jp+g9DdXEqJ/+lA
Go85txPZV3+9+Qm+bGoFm1NxCnlPpKkmCsx7NZy9cHUmjoKw16wZ6dQ8LOOG6ZcU
cznXfl49HZ7vC+g5lLKv7cFLlzkvASD+5f2BGLIJYFM9TnToRRom5Po9oAxEOLLV
M2h4LDIYU4BRsYrcxvvQ9O6krZ4BqAl+hmG1xsyhho+iQ96hs37PGYcGRZmcaP26
xWCMN3ZOn8hV
=gGF5
-----END PGP SIGNATURE-----