Your message dated Mon, 03 Jul 2023 23:40:56 +0000 with message-id <[🔎] E1qGTA8-000Zip-7l@fasolo.debian.org> and subject line Bug#1040214: Removed package(s) from unstable has caused the Debian Bug report #1032257, regarding Non-free (non-commercial) license 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.) -- 1032257: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1032257 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: Non-free (non-commercial) license
- From: Stéphane Glondu <glondu@debian.org>
- Date: Thu, 02 Mar 2023 13:56:49 +0100
- Message-id: <167776180983.71757.17722384669850905881.reportbug@malt.loria.fr>
Source: alt-ergo Version: 2.4.2-2 Severity: serious Dear Maintainers, It has been brought to my attention [1] that the version of alt-ergo currently in testing has a non-free license [2]. According to [3], the latest free version is Alt-Ergo-Free version 2.3.3, which is the version which should be (IMHO) in Debian. [1] https://lists.debian.org/debian-ocaml-maint/2023/03/msg00002.html [2] https://ocamlpro.github.io/alt-ergo/About/license.html [3] https://alt-ergo.ocamlpro.com/ Cheers, -- Stéphane -- System Information: Debian Release: bookworm/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.1.0-5-amd64 (SMP w/4 CPU threads; PREEMPT) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---
- To: 1032257-done@bugs.debian.org,
- Cc: alt-ergo@packages.debian.org
- Subject: Bug#1040214: Removed package(s) from unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 03 Jul 2023 23:40:56 +0000
- Message-id: <[🔎] E1qGTA8-000Zip-7l@fasolo.debian.org>
Version: 2.4.2-2+rm Dear submitter, as the package alt-ergo 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/1040214 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. Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---