[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#973721: marked as done (libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable)

Your message dated Wed, 04 Nov 2020 06:48:18 +0000
with message-id <E1kaCag-0001zY-RZ@fasolo.debian.org>
and subject line Bug#973721: fixed in ssreflect 1.11.0-2
has caused the Debian Bug report #973721,
regarding libssreflect-coq: Depends: coq-8.12.0+4.08.1 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.)


-- 
973721: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=973721
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: libssreflect-coq
Version: 1.11.0-1
Severity: serious
X-Debbugs-Cc: sramacher@debian.org

$ apt install libssreflect-coq
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 libssreflect-coq : Depends: coq-8.12.0+4.08.1 but it is not installable
E: Unable to correct problems, you have held broken packages.

Cheers
-- 
Sebastian Ramacher

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: ssreflect
Source-Version: 1.11.0-2
Done: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>

We believe that the bug you reported is fixed in the latest version of
ssreflect, 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 973721@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ssreflect 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: Wed, 04 Nov 2020 07:25:54 +0100
Source: ssreflect
Architecture: source
Version: 1.11.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 973721
Changes:
 ssreflect (1.11.0-2) unstable; urgency=medium
 .
   * Recompile with OCaml 4.11.1 (Closes: #973721)
Checksums-Sha1:
 b3b2254ddcbf371c3f92c505d7ef9b4f00202239 1889 ssreflect_1.11.0-2.dsc
 4f363bf1aa3b393d97e51802d51a654375d9bfe0 12768 ssreflect_1.11.0-2.debian.tar.xz
Checksums-Sha256:
 61e59a4d7b070329e65d050c3a2623fa03baaf56a699592714ad5bef36986b24 1889 ssreflect_1.11.0-2.dsc
 ac1e4318f78a57e415c7cc8af9db27884a743e2f7ca9e9f6e508c2f1146d7af4 12768 ssreflect_1.11.0-2.debian.tar.xz
Files:
 fc8a8186f2a0abf553c6033770f69cd2 1889 math optional ssreflect_1.11.0-2.dsc
 02c07e120ce74c1114976219ef92aa10 12768 math optional ssreflect_1.11.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl+iSrMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBkNAH/jLXzcvoQTDIuCTF8b360FhjCDZmwDEF
pDid4PpozwzIzl+ycpnzetawJKZ4rEEOwm7qJhQqNwQJHkKFki6mjKij+6tjU7QJ
cfHqFVV4glHW4XdG9OJxADULOJB1OMZRp90M9AfHQ0I3Dy463A9EL1nTYGk4tMyn
XlFzKanT6l3aZVLRdK/oUPPXDTol/D1pKO7jcV1sUXBrav8t4Zbufle1COfkbZGw
AywjCEgP8LkKB9eckrJU5yYJd0GVnf2dF5YT+rtLu2C2BDty794bXbPHRqQaj5m4
upg46e8h2ku4yOFakXkZkvNvGrAwzq1p34MdFw2Ps7NoUrcx/j+pzqs=
=mLTV
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: