Accepted coq-unimath 20220204-1 (source amd64) into unstable, unstable
-----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-----
Reply to: