Accepted coq-hott 8.15-2 (source amd64) into unstable, unstable
-----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-----
Reply to: