/usr/share/matita/ma/standard-library/Q/ is in matita 0.5.8-3build1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/matita/ma/standard-library/Q/Qaxioms.ma
/usr/share/matita/ma/standard-library/Q/frac.ma
/usr/share/matita/ma/standard-library/Q/fraction/
/usr/share/matita/ma/standard-library/Q/fraction/finv.ma
/usr/share/matita/ma/standard-library/Q/fraction/fraction.ma
/usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma
/usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma
/usr/share/matita/ma/standard-library/Q/inv.ma
/usr/share/matita/ma/standard-library/Q/nat_fact/
/usr/share/matita/ma/standard-library/Q/nat_fact/times.ma
/usr/share/matita/ma/standard-library/Q/q/
/usr/share/matita/ma/standard-library/Q/q.ma
/usr/share/matita/ma/standard-library/Q/q/q.ma
/usr/share/matita/ma/standard-library/Q/q/qinv.ma
/usr/share/matita/ma/standard-library/Q/q/qplus.ma
/usr/share/matita/ma/standard-library/Q/q/qtimes.ma
/usr/share/matita/ma/standard-library/Q/ratio/
/usr/share/matita/ma/standard-library/Q/ratio/ratio.ma
/usr/share/matita/ma/standard-library/Q/ratio/rinv.ma
/usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma