ats-lang-anairiats 0.2.11-1build1 / usr / lib / ats-anairiats-0.2.11 / prelude / SATS

This file is indexed.

/usr/lib/ats-anairiats-0.2.11/prelude/SATS/ is in ats-lang-anairiats 0.2.11-1build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/arith.sats text/x-c root:root 0o644 6.5 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/array.sats text/x-c root:root 0o644 19.8 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/array0.sats text/x-c root:root 0o644 3.8 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/bool.sats text/x-c root:root 0o644 5.5 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/byte.sats text/plain root:root 0o644 4.9 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/char.sats text/x-c root:root 0o644 8.6 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/dlist_vt.sats text/plain root:root 0o644 4.9 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/extern.sats text/x-c root:root 0o644 3.1 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/filebas.sats text/x-c root:root 0o644 5.7 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/float.sats text/x-c root:root 0o644 17.4 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer.sats text/x-c root:root 0o644 31.7 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer_fixed.sats text/x-c root:root 0o644 23.1 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer_ptr.sats text/x-c root:root 0o644 12.9 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/lazy.sats text/x-c root:root 0o644 3.3 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/lazy_vt.sats text/x-c root:root 0o644 3.4 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list.sats text/x-c root:root 0o644 29.7 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list0.sats text/x-c root:root 0o644 5.8 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list_vt.sats text/x-c root:root 0o644 7.7 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/matrix.sats text/x-c root:root 0o644 8.1 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/matrix0.sats text/x-c root:root 0o644 3.9 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/memalign.sats text/x-c root:root 0o644 4.3 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/memory.sats text/x-c root:root 0o644 5.3 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/multiset.sats text/x-c root:root 0o644 3.8 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/number.sats text/plain root:root 0o644 4.1 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option.sats text/x-c root:root 0o644 2.8 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option0.sats text/x-c root:root 0o644 2.0 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option_vt.sats text/x-c root:root 0o644 2.4 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/pointer.sats text/x-c root:root 0o644 9.0 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/printf.sats text/x-c root:root 0o644 4.2 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/ptrarr.sats text/plain root:root 0o644 2.6 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/reference.sats text/x-c root:root 0o644 4.3 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/sizetype.sats text/x-c root:root 0o644 15.9 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/string.sats text/x-c root:root 0o644 23.2 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/syndef.sats text/plain root:root 0o644 2.3 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/unsafe.sats text/plain root:root 0o644 3.6 KB
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/vsubrw.sats text/x-c root:root 0o644 3.2 KB

APT Browse - Built by Thomas Orozco.