[From nobody Tue Mar 10 11:55:04 2026
Received: (at 1127970-done) by bugs.debian.org; 10 Mar 2026 11:53:43 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
 (2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-109.2 required=4.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HAS_BUG_NUMBER,
 SPF_HELO_PASS,SPF_NONE,USER_IN_DKIM_WELCOMELIST,VERSION autolearn=ham
 autolearn_force=no version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 13; hammy, 136; neutral, 33; spammy,
 0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
 0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--H*r:sk:fasolo.,
 0.000-+--H*MI:fasolo, 0.000-+--H*m:fasolo
Return-path: <envelope@ftp-master.debian.org>
Received: from mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:35670)
 by buxtehude.debian.org with esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>)
 id 1vzveh-003dff-28 for 1127970-done@bugs.debian.org;
 Tue, 10 Mar 2026 11:53:43 +0000
Received: via submission
 from C=NA, ST=NA, L=Ankh Morpork, O=Debian SMTP, OU=Debian SMTP CA,
 CN=fasolo.debian.org, EMAIL=hostmaster@fasolo.debian.org (verified)
 by mailly.debian.org with esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>)
 id 1vzveg-00DRmT-1F for 1127970-done@bugs.debian.org;
 Tue, 10 Mar 2026 11:53:42 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:
 Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:Cc:To:From:
 Reply-To:Content-ID:Content-Description:In-Reply-To:References;
 bh=M1NDE2DhcAw4wxDOWkOkAjduB77fBjtQEYJk1A3APo8=; b=XTyOudor5TiyFCLl1ByQXYw0Hy
 xTxauAdkp4BiTKDS3GXk5y6MvVr4rxIS9H7owBftUoStg8kZE4tVIyln0LqZ7QDOlXjqYK978X7V6
 5wbpkXWhnvaKsmyPklCm8X/oLSDI840D14ZzR5uyS2fRUwA0xT9HfBwiaz6kJXDSXa5X7t2K+eBml
 sntrcnuzKGoWO9nnzmof18U25nuMtB0uAB77BDviTgKEFnIHn1MS2aFTkrZZ+3m+7+31Sk+MS8mRP
 mrNaMKql803LavwgRE+4tYR33nt6/KAAZI+DCCaQBr0z0CvHobFZgzT5Xa2BgD9CF1ZPiKsomCCoF
 WNuA8qvg==;
Received: from alteholz by fasolo.debian.org with local (Exim 4.98.2)
 (envelope-from <envelope@ftp-master.debian.org>)
 id 1vzvef-0000000Fvp9-271z; Tue, 10 Mar 2026 11:53:41 +0000
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
To: 1127970-done@bugs.debian.org,
X-DAK: dak rm
Cc: haskell-sbv@packages.debian.org
X-Filler: 42
X-Debian: DAK
Debian: DAK
MIME-Version: 1.0
Subject: Bug#1129558: Removed package(s) from unstable
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Message-Id: <E1vzvef-0000000Fvp9-271z@fasolo.debian.org>
Date: Tue, 10 Mar 2026 11:53:41 +0000

Version: 10.2-2+rm

Dear submitter,

as the package haskell-sbv has just been removed from the Debian archive
unstable we hereby close the associated bug reports.  We are sorry
that we couldn't deal with your issue properly.

For details on the removal, please see https://bugs.debian.org/1129558

The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.

Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@ftp-master.debian.org.

Debian distribution maintenance software
pp.
Thorsten Alteholz (the ftpmaster behind the curtain)]