Bug#1014997: marked as done (ITP: coq-unimath -- univalent formalization of mathematics for Coq)
Your message dated Sat, 23 Jul 2022 18:09:35 +0000
with message-id <E1oFJZH-000DjS-Cx@fasolo.debian.org>
and subject line Bug#1014997: fixed in coq-unimath 20220204-1
has caused the Debian Bug report #1014997,
regarding ITP: coq-unimath -- univalent formalization of mathematics for Coq
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
1014997: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014997
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* Package name : coq-unimath
Version : 20220204
Upstream Author : Benedikt Ahrens, Daniel Grayson, Vladimir Voevodsky
* URL : https://github.com/UniMath/UniMath
* License : UniMath-License
Programming Lang: Coq
Description : univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.
I'm not 100% sure the license is DFSG-free, so I have asked on debian-legal
about it ; we'll see.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-unimath
Source-Version: 20220204-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-unimath, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1014997@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-unimath package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.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-----
--- End Message ---
Reply to: