Bug#990661: polyml: Consider making 'libpolyml-dev' a dependent package

[William Mitchell Jr]

Package: polyml
Version: 5.7.1-4
Severity: wishlist
X-Debbugs-Cc: wdmjun at 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