Processed: Re: Bug#1085437: Removal notice: obsolete

2025-05-10 Thread Debian Bug Tracking System
Processing control commands: > clone -1 -2 Bug #1085437 [src:haskell-presburger] Removal notice: obsolete Bug 1085437 cloned as bug 1105079 > reassign -2 ftp.debian.org Bug #1105079 [src:haskell-presburger] Removal notice: obsolete Bug reassigned from package 'src:haskell-presburger' to 'ftp.debia

Bug#1085437: Removal notice: obsolete

2025-05-10 Thread Ilias Tsitsimpis
Control: clone -1 -2 Control: reassign -2 ftp.debian.org Control: retitle -2 RM: haskell-presburger -- ROM; obsolete Control: severity -2 normal Control: affects -2 + src:haskell-presburger Dear FTP team, please remove haskell-presburger from Debian. -- Ilias

Bug#1085437: Removal notice: obsolete

2024-10-19 Thread Ilias Tsitsimpis
Source: haskell-presburger Version: 1.3.1-11 Severity: serious I intend to remove this package: * It has no rev dependencies * Seems unmaintained; Last upload almost 10 years ago * It's not part of the latest Stackage LTS * Upstream claims there are some soundness bugs in this package If