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

This file is indexed.

/usr/lib/ats-anairiats-0.2.5/prelude/CATS/ 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/CATS/array.cats text/x-c root:root 0o644 3.6 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/basics.cats text/x-c root:root 0o644 7.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/bool.cats text/x-c root:root 0o644 4.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/byte.cats text/x-c root:root 0o644 5.6 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/char.cats text/x-c root:root 0o644 6.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/float.cats text/x-c root:root 0o644 19.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer.cats text/x-c root:root 0o644 26.8 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer_fixed.cats text/x-c root:root 0o644 25.7 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer_ptr.cats text/x-c root:root 0o644 14.0 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/lazy.cats text/plain root:root 0o644 2.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/lazy_vt.cats text/plain root:root 0o644 2.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/list.cats text/x-c root:root 0o644 1.9 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/list_vt.cats text/x-c root:root 0o644 1.7 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/matrix.cats text/x-c root:root 0o644 2.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/option.cats text/x-c root:root 0o644 1.9 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/pointer.cats text/x-c root:root 0o644 5.5 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/printf.cats text/x-c root:root 0o644 3.2 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/reference.cats text/x-c root:root 0o644 2.3 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/sizetype.cats text/x-c root:root 0o644 14.0 KB
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/string.cats text/x-c root:root 0o644 9.8 KB

APT Browse - Built by Thomas Orozco.