Bug#974598: libflint-arb-dev: missing dependency on libflint-dev

[Claude Heiland-Allen]

Package: libflint-arb-dev
Version: 1:2.18.1-3
Severity: normal
X-Debbugs-Cc: claude at mathr.co.uk

Dear Maintainer,

   * What led up to the situation?

I installed libflint-arb-dev and tried to compile my program,
compilation failed with:

/usr/include/mag.h:23:10: fatal error: flint/flint.h: No such file or directory
   23 | #include "flint/flint.h"
      |          ^~~~~~~~~~~~~~~

   * What exactly did you do (or not do) that was effective (or
     ineffective)?

After installing libflint-dev compilation succeeded.

   * What outcome did you expect instead?

That installing libflint-arb-dev should allow programs using
arb to be compiled without needing to install extra packages
by hand.

Thanks for your work,


Claude


-- System Information:
Debian Release: bullseye/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'testing-debug'), (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.9.0-1-amd64 (SMP w/16 CPU threads)
Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE=en_GB:en
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libflint-arb-dev depends on:
ii  libflint-arb2  1:2.18.1-3

libflint-arb-dev recommends no packages.

libflint-arb-dev suggests no packages.

-- no debconf information