Package: dev-lang/ats2

Name dev-lang/ats2
Category dev-lang
Version 0.4.2 Availability not known. Last seen: 2024-10-23
Seen Arch amd64
Seen Use emacs
Seen installs very rough number 11
Other Version/arch
Repository Gentoo

Package files

Reset
Filename Filepath
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2pl/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-atscc2scm/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2py3/bin/.gitkeep
.gitkeep /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2clj/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-atscc2r34/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/Bacon.js/output/DATS/.gitkeep
.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/contrib/CATS-parsemit/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libcurl/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/.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/libc/DATS/.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/libats/DATS/SHARE/.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/libats/libc/CATS/arpa/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/CATS/.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/libc/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/GraphSearch/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2clj/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/COMPILE/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-parsemit/SATS/.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/ccomp/runtime/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-getargs/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2js/DATS/.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-atscc2r34/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/ATS-extsolve/bin/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/share/HATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2scm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/HTML/Canvas/TEST/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2php/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/gdbm/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libgmp/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/sys/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2scm/ATS2-0.3.2/output/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2scm/ATS2-0.3.2/output/.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/ML/HATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS1/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/.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-libpcre/SATS/DOCUGEN/HTML/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/netinet/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/DATS/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/gdbm/.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/atscntrb/atscntrb-hx-libjson-c/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2pl/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-smt2/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/prelude/DATS/SHARE/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2pl/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2php/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libpcre/.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/ATS-extsolve-smt2/SATS/.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/ATS-extsolve-smt2/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2pl/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2py3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2scm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/arpa/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/sys/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS1/DATS/.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/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/bin/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve/CATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2clj/.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/DATS/gdbm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/SATS/Number/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libjansson/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-cstream/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/ATS-extsolve-z3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-sdstring/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/parcomb/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/BUCS320/DivideConquer/DATS/.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-mytesting/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ATS2/SATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/DATS/netinet/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/CATS/gdbm/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2py3/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/libatscc2js/ATS2-0.3.2/output/DATS/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/contrib/CATS-atscc2js/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/share/H/.keeper
.keeper /usr/lib/ats2-postiats-0.4.2/libats/ML/SATS/SHARE/.keeper