-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:18:11 +0200 Source: coq-unimath Binary: libcoq-unimath Architecture: source amd64 Version: 20260603-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-unimath - univalent formalization of mathematics for Coq Changes: coq-unimath (20260603-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 2d059e946db250f60c616ea1312919f89bb976d5 2118 coq-unimath_20260603-1.dsc 633a5821c0e84916c0b0fde1b69bc5f6849a297f 4201408 coq-unimath_20260603.orig.tar.gz 4fb70bed4486ed3ca58b683dd75473cf598ffda1 2404 coq-unimath_20260603-1.debian.tar.xz b01094df59d115c2264138727cde12e31a64ccdc 7430 coq-unimath_20260603-1_amd64.buildinfo bc9482a4bd887414f1bf6fc96190069a0683899e 58603276 libcoq-unimath_20260603-1_amd64.deb Checksums-Sha256: a69ac0fb9f70e95c7fffa5d230e18707a702fbb9ec5d12b7a41a287977d73cf5 2118 coq-unimath_20260603-1.dsc e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz 6cbf9aa282a93115a97dad9028d247a47b73e579832db6bdd650c5a31cc4388b 2404 coq-unimath_20260603-1.debian.tar.xz e79a90c320bded25c83857a983b0456dcb0530fa334ef8f3d19c829f6f1adc8f 7430 coq-unimath_20260603-1_amd64.buildinfo 59d6dd828fb23931d0252e7805827346d18938d6da1c6423e10c8d38b997dd36 58603276 libcoq-unimath_20260603-1_amd64.deb Files: dbfba5c581361dbb441a35e67c4cbb42 2118 ocaml optional coq-unimath_20260603-1.dsc c400d964180fb1e2d358bc84a9898974 4201408 ocaml optional coq-unimath_20260603.orig.tar.gz 9990c51f9261f32b5bd9e06fa50a7d15 2404 ocaml optional coq-unimath_20260603-1.debian.tar.xz 6838fff824e413e5480da47d6e71a3de 7430 ocaml optional coq-unimath_20260603-1_amd64.buildinfo e8d54c7481451bfe3ebf29808c8b3083 58603276 ocaml optional libcoq-unimath_20260603-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRIcIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS6TD/99P53L/lZ/IMB7PSCLCeab sk0tlZVsjIYt1voIr9BDuSAj8b3dfHnPg8ayY6igTH0SluYKqBXqEftJdHMQ5wRi B9ZDu4ZOiTjWfvNG0AK0QcOhJDZ06JYoLlrmHouiZIUGY1Lppq9hwhYcEfWmTvCt vboZMJbj/KtBM7QQitRkaaBZPj8xyqyXuE/sEs/ykBq8lgJGnYOIWkyzP3lWUCJ0 Tcz9xjCZwZckRZImyXxHCUfqP8BFFIaqHXSlGCPF5diq47D+Nb9ZNQ5vAv24bWJg zj2ZewK/94S5ly3Up8RdwDVndpyfoHZAAPX6Syek4RBotvZXa5f8JeVUmwFka2gU qqqiR106KSogirvSFNV3yFGev/d7lk60igC2ePAaAY+yReBZ0hbLEqfsqo9lygBg kHQreWq4NCbmTCWNQ9+4esSvAoEoYH4uU6lgZghva2jkKSljF2Gh2F8KEg1UyHR5 BTkbUiJ8xw6Xaxh9+tAMW9FMSixThVjn5/b2+dgqlCILhRBVJNhKrFaYjDgwudmu g+psSCr6dw9mbCOLogHMG/6FBhbS1gmyogt1FxEFbMQ8L2PpCWrsFnxDhKssk966 lHIAMPkrxHNCKrdlS5yVeWTmaeBZ2ngL1523GYUk/5g5C78QNSwGTiLmrbbCqCNV bYrGrNr1qJiEVn8gxUP5YQ== =+W1Y -----END PGP SIGNATURE-----
pgpnrwzyQd9nG.pgp
Description: PGP signature
