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