/usr/lib/ats2-postiats-0.1.3/libats/ML/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/libats/ML/DATS/SHARE/
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/SHARE/monad.hats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/array0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas_dirent.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funmap.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funset.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/hashtblref.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/intrange.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/list0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/matrix0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_list.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_maybe.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/option0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/stdlib.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/strarr.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/string.dats