Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
Processed: fixed 1010656 in 1.5.1-4
From
Debian Bug Tracking System
@21:1/5 to
All
on Fri May 6 17:20:01 2022
Processing commands for
control@bugs.debian.org
:
fixed 1010656 1.5.1-4
Bug #1010656 {Done: Adrian Bunk <
bunk@debian.org
>} [libcoq-mathcomp-finmap] libcoq-mathcomp-finmap: Depends: coq- but it is not installable
Marked as fixed in versions mathcomp-finmap/1.5.1-4.
thanks
Stopping processing here.
Please contact me if you need assistance.
--
1010656:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010656
Debian Bug Tracking System
Contact
owner@bugs.debian.org
with problems
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
2
/
14
)
Uptime:
90:33:53
Calls:
6,658
Files:
12,203
Messages:
5,334,093