/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/ is in ats2-lang 0.2.6-2.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/SHARE/
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/SHARE/monad.hats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/array0.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/basis.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/dynarray.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/filebas.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/funmap.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/funset.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/gvalue.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/hashtblref.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/intrange.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/list0.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/matrix0.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/monad_list.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/monad_maybe.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/option0.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/stdlib.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/strarr.sats
/usr/lib/ats2-postiats-0.2.6/libats/ML/SATS/string.sats