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
