/usr/lib/ats-anairiats-0.2.11/prelude/DATS/ is in ats-lang-anairiats 0.2.11-1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/arith.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array_prf.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/basics.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/bool.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/char.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/dlist_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/filebas.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/float.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/integer.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/lazy.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/lazy_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/matrix.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/matrix0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/memalign.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/pointer.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/printf.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/ptrarr.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/reference.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/sizetype.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/string.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/syndef.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/unsafe.dats