This file is indexed.

/usr/ is in libflint-dev 1.011-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libflint-dev/ root:root 0o755
/usr/share/doc/libflint-dev/copyright text/plain root:root 0o644 1.2 KB
/usr/include/ root:root 0o755
/usr/include/FLINT/ root:root 0o755
/usr/include/FLINT/F_mpn_mul-tuning.h text/plain root:root 0o644 1.5 KB
/usr/include/FLINT/flint.h text/x-c root:root 0o644 4.1 KB
/usr/include/FLINT/fmpz.h text/x-c root:root 0o644 7.7 KB
/usr/include/FLINT/fmpz_poly.h text/x-c root:root 0o644 41.5 KB
/usr/include/FLINT/long_extras.h text/x-c root:root 0o644 8.0 KB
/usr/include/FLINT/longlong.h text/x-c root:root 0o644 68.1 KB
/usr/include/FLINT/longlong_wrapper.h text/x-c root:root 0o644 1.6 KB
/usr/include/FLINT/memory-manager.h text/plain root:root 0o644 1.8 KB
/usr/include/FLINT/mpn_extras.h text/x-c root:root 0o644 6.7 KB
/usr/include/FLINT/mpz_extras.h text/x-c root:root 0o644 3.7 KB
/usr/include/FLINT/mpz_poly-tuning.h text/x-c root:root 0o644 1.6 KB
/usr/include/FLINT/mpz_poly.h text/x-c root:root 0o644 11.9 KB
/usr/include/FLINT/NTL-interface.h text/x-c root:root 0o644 1.9 KB
/usr/include/FLINT/profiler-main.h text/x-c root:root 0o644 2.9 KB
/usr/include/FLINT/profiler.h text/x-c root:root 0o644 4.3 KB
/usr/include/FLINT/test-support.h text/x-c root:root 0o644 2.2 KB
/usr/include/FLINT/zmod_poly.h text/x-c root:root 0o644 14.8 KB
/usr/include/FLINT/ZmodF.h text/x-c root:root 0o644 12.4 KB
/usr/include/FLINT/ZmodF_mul-tuning.h text/x-c root:root 0o644 1.9 KB
/usr/include/FLINT/ZmodF_mul.h text/x-c root:root 0o644 6.1 KB
/usr/include/FLINT/ZmodF_poly.h text/x-c root:root 0o644 11.0 KB
/usr/lib/ root:root 0o755
/usr/share/doc/libflint-dev/changelog.Debian.gz root:root 0o777
/usr/lib/libflint.so root:root 0o777