Package: libflint-arb-dev
Version: 1:2.18.1-3
Severity: normal
X-Debbugs-Cc: cla...@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
