/usr/lib/ats2-postiats-0.1.3/prelude/DATS/ is in ats2-lang 0.1.3-1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arith_prf.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_bsearch.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_prf.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_quicksort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayref.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/basics.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/bool.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/char.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/checkast.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer_foreach.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/filebas.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_array.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giterator.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_int.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_uint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_bool.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_char.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_int.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_string.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_uint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gprint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer_fixed.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/intrange.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_mergesort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_quicksort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrix.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixref.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/memory.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/parray.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/pointer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/reference.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/string.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/strptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/tuple.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/unsafe.dats