Package: dev-lang/ats2

Name dev-lang/ats2
Category dev-lang
Version 0.4.2-r1 Available in repo.
Seen Arch amd64
Seen Use
Seen installs very rough number 1
Other Version/arch
Repository Gentoo

Package files

Reset
Filename Filepath
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2py3/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2pl/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2scm/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2r34/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2js/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2php/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/ATS2-0.3.2/Node.js/DATS/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2clj/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/Bacon.js/output/DATS/.gitkeep
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/DivideConquer/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2py3/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2php/ATS2-0.3.2/output/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libgmp/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2py3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-getargs/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/parcomb/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/DivideConquer/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2clj/ATS2-0.3.2/output/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS1/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/DATS/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS2/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-globals/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-intinf/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2php/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2js/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/share/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/DATS/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2php/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2r34/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/gdbm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-smt2/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2scm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/arpa/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2scm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-mytesting/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/prelude/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/DATS/Number/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS2/DATS/fcntainer/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS2/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-sdstring/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/DATS/Number/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/COMPILE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/TRYIT/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2pl/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/SATS/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/netinet/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2scm/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/prelude/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/netinet/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/ATS2-0.3.2/output/DATS/Bacon.js/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2pl/ATS2-0.3.2/output/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS1/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2clj/ATS2-0.3.2/output/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/prelude/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2py3/ATS2-0.3.2/output/DATS/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libjansson/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/share/H/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libpcre/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/bin/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2scm/ATS2-0.3.2/output/DATS/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/arpa/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2php/ATS2-0.3.2/output/DATS/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2js/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/arpa/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-cstream/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/sys/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2pl/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/ATS2-0.3.2/output/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/netinet/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2py3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/.keeper