Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.rc > #409839

Bug#1126311: marked as done (ghc: base and ghc-prim changed but not the Provides)

From "Debian Bug Tracking System" <owner@bugs.debian.org>
Newsgroups linux.debian.bugs.rc
Subject Bug#1126311: marked as done (ghc: base and ghc-prim changed but not the Provides)
Date 2026-01-24 17:00 +0100
Message-ID <MgOdj-d0LL-3@gated-at.bofh.it> (permalink)
References <MgOdj-d0LL-5@gated-at.bofh.it> <MgAWJ-cOrt-3@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

Your message dated Sat, 24 Jan 2026 15:04:52 +0000
with message-id <E1vjfC0-00000002FE3-0b0Y@fasolo.debian.org>
and subject line Bug#1126311: fixed in ghc 9.10.3-3
has caused the Debian Bug report #1126311,
regarding ghc: base and ghc-prim changed but not the Provides
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.)


-- 
1126311: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1126311
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Back to linux.debian.bugs.rc | Previous | Next — Previous in thread | Find similar | Unroll thread


Thread

Bug#1126311: ghc: base and ghc-prim changed but not the Provides Adrian Bunk <bunk@debian.org> - 2026-01-24 02:50 +0100
  Bug#1126311: marked as done (ghc: base and ghc-prim changed but  not the Provides) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2026-01-24 17:00 +0100

csiph-web