-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 16 Jul 2022 08:03:44 +0200 Source: coq-unimath Binary: libcoq-unimath Architecture: source amd64 Version: 20220204-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-unimath - univalent formalization of mathematics for Coq Closes: 1014997 Changes: coq-unimath (20220204-1) unstable; urgency=medium . * Initial release. (Closes: #1014997) Checksums-Sha1: adc970bd46185598186d147670c89481f4997147 2106 coq-unimath_20220204-1.dsc b7692f8a792aa9f7b462b862a1a8150daaf05837 1705163 coq-unimath_20220204.orig.tar.gz 052d0a8eebcdb8de6b102b7cc6add8708f7571f9 1688 coq-unimath_20220204-1.debian.tar.xz ac611d534408669c7d077f974d79ac09e29dc6d5 7150 coq-unimath_20220204-1_amd64.buildinfo 7e88101674f95fef2a24d19ec58954345c788971 31195476 libcoq-unimath_20220204-1_amd64.deb Checksums-Sha256: a551165f6964d158945725fa77faeae23d0075ccb8725ad75b0312de5a041e79 2106 coq-unimath_20220204-1.dsc d95815a2a76dd3739b902752fcc166ca66926e7198317ca9dc78a08667c9bb38 1705163 coq-unimath_20220204.orig.tar.gz 16ca8dad8140511a0b826b990911e0d765b8174c96a8ab11f5e1a6aee446b15e 1688 coq-unimath_20220204-1.debian.tar.xz 2c81aab2a688be4288cdf9fb03b4201e951ce26b5f456569283e1da88ec7d9aa 7150 coq-unimath_20220204-1_amd64.buildinfo cb8dc027d39f64ef2efa94c136fb993c5b256c9c51e1b9e03f065cd713a1c4d7 31195476 libcoq-unimath_20220204-1_amd64.deb Files: 6fccfac90319788407d936705c7faf10 2106 ocaml optional coq-unimath_20220204-1.dsc 156af5357d9c416df3c0bb7d0232c4ba 1705163 ocaml optional coq-unimath_20220204.orig.tar.gz ebae6295f03dd6c9b5ca295e2b79367c 1688 ocaml optional coq-unimath_20220204-1.debian.tar.xz 795ebd62d461e5703cbbff4efb8b5069 7150 ocaml optional coq-unimath_20220204-1_amd64.buildinfo d6fa9f736c76d030f6b3e5d4f2b84c14 31195476 ocaml optional libcoq-unimath_20220204-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSiZwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeDnD/4w9kpTi8yhLLlHbVxNn+/h nYAHjw8HbExlxCL41QNw/K9V/Fc2qBawW6xzZ6U7mUDxLtl5gD9ZY14RRFIurPdA slb8cG2v98KcBn/RgfHpH10tBh8ZS/OnPYtaUInXJWcKXblfQrRUZWJCFT0mJOKf nzViWOa9fijbJq8JS3M63fIs8In29Ghg7B23eQpenIsVTEIF+ZEdi5yg//eo8qUv oQY8vk9DVm8UzZGuidMIUL8zIBM/BJvjkRvkfqfiQyRKBFEYpECM2WmFlrnv9QCn 4OPTfpTOxPw9XNRzxbi8cO5FYoE6yggzCkGuYwcgPBFuMXd/E/n4fI4uHy4iVJsR FcgHDfNruHWm+CVv6dhLs6CA/wABuibBN+mYH5UE3yWUNb58Om8yzqYBy4TB0QEl sT5HMhsPi7iBfTBu+TPYSIZoasYjzMvyht+zWuhl63L3DgygYawJAbOBVcVxS2tB LvjVqq7HxmN0byE97Z9mtslTF4yKLfy/78ZVaEE9tkmQKmh3MOnxxji3JZ1vdtIx tAqZqDYyj2H68SYaA82TVnoA+3UbrcNT/53+WBZ7e9lY6Uc3Ovrqr/94pFzNJ9ku e0tfsa2CXNVt5XujnFeCespSnMMRWW9Xl44X85ldI+TYxfb2qMPXGyIapcFaaaSN G+q/BYOuGXhysppkeGwm0g== =dC+R -----END PGP SIGNATURE-----
