Accepted coq-unimath 20220204-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20220204-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Jul 2022 18:09:35 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=2QHbNeQj8nw81mthGXqzE2gc7TtXURtatDHLlC8WaAQ=; b=ARkoXFOPlMjDqdNvYHDYUIuB8J FUNt/toHWJEcpBGmQZln851xJ/BrRXrpDj/DeBypHxolQVdcDpJHL9bD1wWZeazkRH82EY+0mh43Z 6p87jZigfvtVkivvNn3+8gWH0fiSAKGx/q3atk1Hbc85KXA9gHAfkK58gG0HgEif3w3lzq+TQJKPc bLMQ7P3/lKWOEgUt6qHf36d21QoW6fNABLT8A0J8hJs4tsUA3V5Syb+lDo2DKePqq9UAeLIOWCoeW AGRq2lWK5xgaJGlmI9uj82ZwPiKkdkDcyApFzY5mSLFpnyJVOwptvpezL1bGfjTY4jF/3VGZoCh7F tBnInvZg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oFJZH-000DjN-C6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----