Bug#1010655: marked as done (libcoq-mathcomp-bigenough: Depends: coq- but it is not installable)
Your message dated Fri, 06 May 2022 13:34:58 +0000
with message-id <E1nmy6k-000F77-DS@fasolo.debian.org>
and subject line Bug#1010655: fixed in mathcomp-bigenough 1.0.1-4
has caused the Debian Bug report #1010655,
regarding libcoq-mathcomp-bigenough: Depends: coq- but it is not installable
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.)
--
1010655: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010655
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libcoq-mathcomp-bigenough
Version: 1.0.1-3
Severity: serious
The following packages have unmet dependencies:
libcoq-mathcomp-bigenough : Depends: coq- but it is not installable
--- End Message ---
--- Begin Message ---
Source: mathcomp-bigenough
Source-Version: 1.0.1-4
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-bigenough, 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 1010655@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 mathcomp-bigenough 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: Fri, 06 May 2022 15:11:30 +0200
Source: mathcomp-bigenough
Architecture: source
Version: 1.0.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1010655
Changes:
mathcomp-bigenough (1.0.1-4) unstable; urgency=medium
.
* Fix previous change. (Closes: #1010655)
Checksums-Sha1:
f12a905fd467a365bbd28a3ce25c539ed7731ba2 2107 mathcomp-bigenough_1.0.1-4.dsc
995e29521c806065f5a24a18e620421e30ab8252 8496 mathcomp-bigenough_1.0.1-4.debian.tar.xz
dbae6dae6b83f3e556c53e679e89469929cdf960 6688 mathcomp-bigenough_1.0.1-4_source.buildinfo
Checksums-Sha256:
e539c4c2ef1b3d7ec55da1eaad9811d71881eff9f65c4fd658ae8849fb1242f6 2107 mathcomp-bigenough_1.0.1-4.dsc
7ac689e7219a277ec85c91e21c1bcc09b928173584a7aff682d1e071e950c698 8496 mathcomp-bigenough_1.0.1-4.debian.tar.xz
2bef88d4804d8e17696e4a37983c6794a4ad30e06e89946218dbbf14a4a6dccb 6688 mathcomp-bigenough_1.0.1-4_source.buildinfo
Files:
124575fe421016c6df9c403b782ec479 2107 ocaml optional mathcomp-bigenough_1.0.1-4.dsc
ea4b7a63ad85f54d0bfb2637e73d5bc2 8496 ocaml optional mathcomp-bigenough_1.0.1-4.debian.tar.xz
7c2d45637a794f8b51381ae75a979498 6688 ocaml optional mathcomp-bigenough_1.0.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1HrQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyhwP/ihz2IpfeQs5jhsxnJA5RuOhRiePKSDp
nYmQ0OAAeIOT+OrpSVqCqrhb8YQFcxED63qg8KWNleZQYbdX0v+oVP3BJKWwKv9y
aY0vJ1R9HQU2STGxfVcO14B9LphyYqjZykl1tMQ4InGXyZeL2kahSUWZQG3q0lDy
deTZouj1scKquXgzvwu9OsOM2EWP1opRwle+j+OLTXBqbcrGlnCEDF9vdodPNT1g
rEwUkIgwys9bBmg7PcM7j7vdguZqF6aRaDLs4Fmz26bMGmVdFrkKzQ22BZku9qdb
K+DxHWm/Y3RgRQDtfRQRKB+t6XQfpd5ODMLcaIbaIEtZCd01t0zeIOHCbFaUfCAB
rlz7vcr+3EXeMIriLuiH3qTYeIU3qLCXC57tFicSUPMxGUUb95HfVblnnkLRufrn
rRZgw5DpJKxIWWaJQb7I5fa2nnV22mQA3mTYF2nYD/FXT4f0xwnS8U0efwUCIoZu
xnO4glOzicPucIC220bpXaGQR/8LvH9ViiKDdBp1/8Vsa/Rrg04TTFHjU0KmeLAp
KXJI/VhEVwuaiMVS9gWpheq2P+c6udMURAtnEi0lklI9G2rj/11hU9FwUjEqXer5
VSvnRubPat1Iz+6zkbkQz1FUXwBkocR3wFyrPSN5NNx6H1ueI4DpATcSPxATAcYk
hkGjaJMiioEs
=JhCr
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: