Package: polyml Version: 5.7.1-4 Severity: wishlist X-Debbugs-Cc: wdm...@gmail.com
Dear Maintainer, Since the Poly/ML compiler 'polyc' is included in the 'polyml' package, please consider including 'libpolyml-dev' as a dependent package because 'polyc' is usesless without it. Thanks, William -- System Information: Debian Release: 11.0 APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 5.10.0-7-amd64 (SMP w/2 CPU threads) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.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 Versions of packages polyml depends on: ii file 1:5.39-3 ii g++ 4:10.2.1-1 ii libc6 2.31-12 ii libffi-dev 3.3-6 ii libpolyml9 5.7.1-4 ii polyml-modules 5.7.1-4 polyml recommends no packages. polyml suggests no packages. -- no debconf information