ats-lang-anairiats 0.2.5-0ubuntu1 / usr / lib / ats-anairiats-0.2.5 / prelude / SATS

This file is indexed.

/usr/lib/ats-anairiats-0.2.5/prelude/SATS/ is in ats-lang-anairiats 0.2.5-0ubuntu1.

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

File Mime Type Owner Mode Size
..
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/arith.sats text/x-c root:root 0o644 6.4 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/array.sats text/x-c root:root 0o644 19.6 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/array0.sats text/x-c root:root 0o644 3.6 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/bool.sats text/x-c root:root 0o644 5.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/byte.sats text/plain root:root 0o644 4.9 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/char.sats text/x-c root:root 0o644 8.6 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/extern.sats text/x-c root:root 0o644 3.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/filebas.sats text/x-c root:root 0o644 5.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/float.sats text/x-c root:root 0o644 17.1 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer.sats text/x-c root:root 0o644 31.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer_fixed.sats text/x-c root:root 0o644 23.1 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer_ptr.sats text/x-c root:root 0o644 12.9 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/lazy.sats text/x-c root:root 0o644 3.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/lazy_vt.sats text/x-c root:root 0o644 3.4 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list.sats text/x-c root:root 0o644 27.4 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list0.sats text/x-c root:root 0o644 5.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list_vt.sats text/x-c root:root 0o644 7.1 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/matrix.sats text/x-c root:root 0o644 8.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/matrix0.sats text/x-c root:root 0o644 3.9 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/memory.sats text/x-c root:root 0o644 5.4 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/multiset.sats text/x-c root:root 0o644 3.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/number.sats text/plain root:root 0o644 4.1 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option.sats text/x-c root:root 0o644 2.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option0.sats text/x-c root:root 0o644 2.0 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option_vt.sats text/x-c root:root 0o644 1.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/pointer.sats text/x-c root:root 0o644 9.1 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/printf.sats text/x-c root:root 0o644 4.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/ptrarr.sats text/plain root:root 0o644 2.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/reference.sats text/x-c root:root 0o644 4.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/sizetype.sats text/x-c root:root 0o644 15.4 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/string.sats text/x-c root:root 0o644 22.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/syndef.sats text/plain root:root 0o644 2.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/unsafe.sats text/plain root:root 0o644 2.7 KB
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/vsubrw.sats text/x-c root:root 0o644 3.2 KB

APT Browse - Built by Thomas Orozco.