/usr/lib/ats-anairiats-0.2.11/libats/SATS/ 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/libats/SATS/biarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/bimatrix.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/fmatrix.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/freelst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funarray_braun.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/fundeque_fingertree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funheap_binomial.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funheap_braun.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmap_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmap_rbtree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funralist_nested.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funset_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/genarrays.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gfarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gflist.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gflist_vt.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gftree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/hashtable_chain.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/hashtable_linprb.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/ilistp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/imsetp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/intinf.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/iterint.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/itreep.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linbitvec.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linheap_binomial.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_rbtree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_skiplist.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linordset_randbst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linqueue_arr.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linqueue_lst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linset_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linstack_arr.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/lockptr_spin.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/lockref_spin.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/optini.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/parworkshop.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/rarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/refcount.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/regexp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/vector.sats