ats-lang-anairiats_0.2.11-1_amd64.deb


Advertisement

Description

ats-lang-anairiats - Legacy ATS v1 language compiler, named Anairiats

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name ats-lang-anairiats
Package version 0.2.11
Package release 1
Package architecture amd64
Package type deb
Installed size 6.97 KB
Download size 940.37 KB
Official Mirror ftp.br.debian.org
ATS is a programming language with a highly expressive type system
rooted in the framework Applied Type System. In particular, both
dependent types and linear types are available in ATS. The current
implementation of ATS (ATS/Anairiats) is written in ATS itself. It
can be as efficient as C/C++ and supports a variety of programming
paradigms.
In addition, ATS contains a component ATS/LF that supports a form of
(interactive) theorem proving, where proofs are constructed as total
functions. With this component, ATS advocates a programming style
that combines programming with theorem proving. Furthermore, this
component may be used as a logical framework to encode various
deduction systems and their (meta-)properties.
This package contains the compiler atsopt, the frontend atscc, and
the lexer atslex.
This is the final release of ATS1. Please migrate your code to ATS2/Postiats,
the compiler frontend patscc (patsopt), in the package ats2-lang.  This
package is for legacy code and bootstrapping purposes.

Alternatives

Package Version Architecture Repository
ats-lang-anairiats_0.2.11-1_i386.deb 0.2.11 i386 Debian Main
ats-lang-anairiats - - -

Requires

Name Value
libc6 >= 2.14
libgmp10 -

Download

Type URL
Binary Package ats-lang-anairiats_0.2.11-1_amd64.deb
Source Package ats-lang-anairiats

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install ats-lang-anairiats deb package:
    # sudo apt-get install ats-lang-anairiats

Files

Path
/usr/bin/atscc
/usr/bin/atslex
/usr/bin/atsopt
/usr/lib/ats-anairiats-0.2.11/config.h
/usr/lib/ats-anairiats-0.2.11/bin/atscc
/usr/lib/ats-anairiats-0.2.11/bin/atsdoc
/usr/lib/ats-anairiats-0.2.11/bin/atslex
/usr/lib/ats-anairiats-0.2.11/bin/atslib
/usr/lib/ats-anairiats-0.2.11/bin/atsopt
/usr/lib/ats-anairiats-0.2.11/bin/atspack
/usr/lib/ats-anairiats-0.2.11/ccomp/lib64/libats.a
/usr/lib/ats-anairiats-0.2.11/ccomp/lib64/libats_lex.a
/usr/lib/ats-anairiats-0.2.11/ccomp/lib64/libats_mt.a
/usr/lib/ats-anairiats-0.2.11/ccomp/lib64/libats_smlbas.a
/usr/lib/ats-anairiats-0.2.11/ccomp/lib64/libatsdoc.a
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_basics.h
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_bootstrap.c
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_config.h
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_exception.h
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_memory.h
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude.c
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_gcats.c
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_gcbdw.c
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_ngc.c
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_types.h
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/Makefile
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/README
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gc.o
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gc_mt.o
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1.cats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1.sats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_all.cats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_autops.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_chunk.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_collecting.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_freeitmlst.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_globalentry.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_main.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_manops.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_marking.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_master.hats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_misc.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_multithread.dats
/usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_top.dats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/gl.cats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/glu.cats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/glut.cats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/DATS/glut.dats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/SATS/gl.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/SATS/glu.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/SATS/glut.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GL/SATS/glx.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/CATS/gdk.cats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/CATS/gtk.cats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/DATS/gtk.dats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk-pixbuf.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdkclassdec.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtkclassdec.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkcairo.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkcolor.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkevents.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkkeys.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkpixbuf.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkpixmap.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkrgb.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkselection.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdktypes.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gdk/gdkwindow.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkaccelgroup.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkadjustment.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkalignment.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkarrow.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkbox.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkbutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkcheckbutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkcheckmenuitem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkclipboard.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkcolorsel.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkcolorseldialog.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkcontainer.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkdialog.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkdrawingarea.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkentry.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkenums.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkfilechooser.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkfilechooserdialog.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkfilesel.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkfontsel.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkframe.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhbox.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhpaned.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhruler.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhscale.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhscrollbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkhseparator.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkimagemenuitem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtklabel.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmain.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmenu.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmenubar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmenuitem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmenushell.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmessagedialog.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkmisc.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkoptionmenu.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkpaned.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkprogress.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkprogressbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkradiobutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkrange.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkruler.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkscale.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkscrollbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkscrolledwindow.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkseparator.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkseparatormenuitem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkseparatortoolitem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkspinbutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkstatusbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkstock.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkstyle.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktable.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktextbuffer.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktextiter.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktextmark.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktexttag.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktexttagtable.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktextview.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktogglebutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktoolbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktoolbutton.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtktypeutils.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvbox.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvpaned.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvruler.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvscale.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvscrollbar.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkvseparator.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkwidget.sats
/usr/lib/ats-anairiats-0.2.11/contrib/GTK/SATS/gtk/gtkwindow.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/atsctrb_SDL.o
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_active.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_events.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_image.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_keyboard.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_keysym.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_mixer.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_stdinc.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_thread.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_timer.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_ttf.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/CATS/SDL_video.cats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/DATS/SDL.dats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_active.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_events.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_image.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_keyboard.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_keysym.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_mixer.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_stdinc.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_thread.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_timer.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_ttf.sats
/usr/lib/ats-anairiats-0.2.11/contrib/SDL/SATS/SDL_video.sats
/usr/lib/ats-anairiats-0.2.11/contrib/X11/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/X11/CATS/X.cats
/usr/lib/ats-anairiats-0.2.11/contrib/X11/CATS/Xlib.cats
/usr/lib/ats-anairiats-0.2.11/contrib/X11/DATS/Xlib.dats
/usr/lib/ats-anairiats-0.2.11/contrib/X11/SATS/X.sats
/usr/lib/ats-anairiats-0.2.11/contrib/X11/SATS/Xlib.sats
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/CATS/cairo.cats
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/DATS/cairo.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/DATS/cairo_extra.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/SATS/cairo.sats
/usr/lib/ats-anairiats-0.2.11/contrib/cairo/SATS/cairo_extra.sats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/atsctrb_cblas.o
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/CATS/cblas.cats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/DATS/cblas.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/DATS/cblas_extra.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/HATS/cblas.hats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/SATS/cblas.sats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/SATS/cblas_extra.sats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/test_cblas.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/test_gemm1.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/test_gemm2.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/test_lu.dats
/usr/lib/ats-anairiats-0.2.11/contrib/cblas/TEST/test_symm.dats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/atsctrb_clapack.o
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/CATS/clapack.cats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/CATS/f2c.cats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/DATS/clapack.dats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/DATS/f2c.dats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/HATS/clapack.hats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/HATS/f2c.hats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/SATS/clapack.sats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/SATS/f2c.sats
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/TEST/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/clapack/TEST/test_clapack.dats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/glib/atsctrb_glib.o
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib-object.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/garray.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gbasics.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/ghash.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/glist.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gmem.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gqsort.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/grand.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gslist.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gstring.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gunicode.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/CATS/glib/gutils.cats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/DATS/glib.dats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/HATS/glibconfig.hats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/HATS/glibconfig_hats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib-object.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/garray.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gbasics.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/ghash.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/glist.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gmem.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gqsort.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/grand.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gslist.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gstring.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gtypes.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gunicode.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/glib/gutils.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/gobject/gobject.sats
/usr/lib/ats-anairiats-0.2.11/contrib/glib/SATS/gobject/gsignal.sats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/CATS/jansson.cats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/DATS/jansson.dats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/SATS/jansson.sats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/TEST/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/TEST/github_commits.dats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/TEST/test01.dats
/usr/lib/ats-anairiats-0.2.11/contrib/jansson/TEST/test02.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/CATS/mysql.cats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/DATS/mysql.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/SATS/mysql.sats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test01.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test02.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test03.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test04.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test05.dats
/usr/lib/ats-anairiats-0.2.11/contrib/mysql/TEST/test06.dats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/pango/atsctrb_pango.o
/usr/lib/ats-anairiats-0.2.11/contrib/pango/CATS/pango.cats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/DATS/pango.dats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pango.sats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pangoclassdec.sats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pango/pango-attributes.sats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pango/pango-context.sats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pango/pango-font.sats
/usr/lib/ats-anairiats-0.2.11/contrib/pango/SATS/pango/pango-layout.sats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/atsctrb_parcomb.o
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/dynloadall.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/DATS/parcomb.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/DATS/posloc.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/DATS/tokenize.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/SATS/parcomb.sats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/SATS/posloc.sats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/SATS/tokenize.sats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/TEST/Makefile
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/TEST/calc1_example.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/TEST/calc2_example.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/TEST/calc3_example.dats
/usr/lib/ats-anairiats-0.2.11/contrib/parcomb/TEST/lambda_example.dats
/usr/lib/ats-anairiats-0.2.11/contrib/testing/DATS/fprint.dats
/usr/lib/ats-anairiats-0.2.11/contrib/testing/DATS/randgen.dats
/usr/lib/ats-anairiats-0.2.11/contrib/testing/SATS/fprint.sats
/usr/lib/ats-anairiats-0.2.11/contrib/testing/SATS/randgen.sats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/fmatrix.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/genarrays.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/hashtable_chain.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/intinf.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/linbitvec.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/linordset_randbst.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/linqueue_arr.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/linqueue_lst.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/linstack_arr.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/lockptr_spin.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/lockref_spin.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/parworkshop.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/regexp.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/slseg.cats
/usr/lib/ats-anairiats-0.2.11/libats/CATS/vector.cats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/biarray.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/bimatrix.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/fmatrix.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/freelst.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funarray_braun.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/fundeque_fingertree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funheap_binomial.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funheap_braun.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funmap_avltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funmap_rbtree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funmset_listord.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funralist_nested.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funset_avltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/funset_listord.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/genarrays.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/gfarray.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/gflist.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/gflist_vt.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/hashtable_chain.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/hashtable_linprb.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/ilistp.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/intinf.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/iterint.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linbitvec.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linheap_binomial.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linmap_avltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linmap_rbtree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linmap_skiplist.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linordset_randbst.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linqueue_arr.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linqueue_lst.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linset_avltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linset_listord.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/linstack_arr.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/lockptr_spin.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/lockref_spin.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/parworkshop.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/rarray.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/refcount.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/regexp.dats
/usr/lib/ats-anairiats-0.2.11/libats/DATS/vector.dats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/biarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/bimatrix.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/fmatrix.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/freelst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funarray_braun.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/fundeque_fingertree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funheap_binomial.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funheap_braun.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmap_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmap_rbtree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funmset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funralist_nested.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funset_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/funset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/genarrays.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gfarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gflist.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gflist_vt.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/gftree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/hashtable_chain.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/hashtable_linprb.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/ilistp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/imsetp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/intinf.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/iterint.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/itreep.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linbitvec.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linheap_binomial.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_rbtree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linmap_skiplist.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linordset_randbst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linqueue_arr.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linqueue_lst.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linset_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linset_listord.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/linstack_arr.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/lockptr_spin.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/lockref_spin.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/optini.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/parworkshop.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/rarray.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/refcount.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/regexp.sats
/usr/lib/ats-anairiats-0.2.11/libats/SATS/vector.sats
/usr/lib/ats-anairiats-0.2.11/libats/lex/lexing.dats
/usr/lib/ats-anairiats-0.2.11/libats/lex/lexing.sats
/usr/lib/ats-anairiats-0.2.11/libats/lex/tables.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/CATS/deque_arr.cats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/DATS/deque_arr.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/DATS/dlist.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/DATS/linmap_avltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/DATS/linmap_pavltree.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/DATS/slist.dats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/SATS/deque_arr.sats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/SATS/dlist.sats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/SATS/linmap_avltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/SATS/linmap_pavltree.sats
/usr/lib/ats-anairiats-0.2.11/libats/ngc/SATS/slist.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/.libfiles
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/array.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/array2.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/bool.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/char.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/date.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/list.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/listPair.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/math.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/real.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/string.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/DATS/time.dats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/array.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/array2.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/bool.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/char.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/date.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/general.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/list.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/listPair.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/math.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/real.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/string.sats
/usr/lib/ats-anairiats-0.2.11/libats/smlbas/SATS/time.sats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/SIMD_v2df.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/complex.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/ctype.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/curses.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/dirent.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/dlfcn.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/errno.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/fcntl.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/float.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/gmp.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/grp.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/math.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/netdb.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/printf.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/pthread.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/pthread_upbarr.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/pthread_uplock.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/pwd.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/random.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/sched.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/signal.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/stdarg.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/stdio.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/stdlib.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/string.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/strings.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/termios.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/time.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/unistd.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/unistd_pathconf.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/unistd_sysconf.cats
/usr/lib/ats-anairiats-0.2.11/libc/CATS/utime.cats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/complex.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/dirent.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/dlfcn.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/errno.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/fcntl.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/gmp.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/math.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/printf.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/pthread.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/pthread_upbarr.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/pthread_uplock.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/random.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/stdarg.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/stdio.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/stdlib.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/string.dats
/usr/lib/ats-anairiats-0.2.11/libc/DATS/unistd.dats
/usr/lib/ats-anairiats-0.2.11/libc/HATS/float.hats
/usr/lib/ats-anairiats-0.2.11/libc/HATS/math.hats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/SIMD_v2df.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/complex.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/ctype.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/curses.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/dirent.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/dlfcn.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/errno.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/fcntl.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/float.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/gmp.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/grp.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/math.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/netdb.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/printf.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/pthread.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/pthread_upbarr.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/pthread_uplock.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/pwd.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/random.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/sched.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/signal.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/stdarg.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/stdio.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/stdlib.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/string.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/strings.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/termios.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/time.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/unistd.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/unistd_pathconf.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/unistd_sysconf.sats
/usr/lib/ats-anairiats-0.2.11/libc/SATS/utime.sats
/usr/lib/ats-anairiats-0.2.11/libc/arpa/CATS/inet.cats
/usr/lib/ats-anairiats-0.2.11/libc/arpa/SATS/inet.sats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/CATS/datum.cats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/CATS/gdbm.cats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/CATS/ndbm.cats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/SATS/datum.sats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/SATS/gdbm.sats
/usr/lib/ats-anairiats-0.2.11/libc/gdbm/SATS/ndbm.sats
/usr/lib/ats-anairiats-0.2.11/libc/netinet/CATS/in.cats
/usr/lib/ats-anairiats-0.2.11/libc/netinet/SATS/in.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/poll.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/resource.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/select.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/sockaddr.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/socket.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/socket_in.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/socket_un.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/sockopt.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/stat.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/statvfs.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/time.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/types.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/un.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/utsname.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/CATS/wait.cats
/usr/lib/ats-anairiats-0.2.11/libc/sys/DATS/socket.dats
/usr/lib/ats-anairiats-0.2.11/libc/sys/DATS/socket_in.dats
/usr/lib/ats-anairiats-0.2.11/libc/sys/DATS/socket_un.dats
/usr/lib/ats-anairiats-0.2.11/libc/sys/DATS/stat.dats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/poll.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/resource.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/select.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/sockaddr.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/socket.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/socket_in.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/socket_un.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/sockopt.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/stat.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/statvfs.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/time.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/types.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/un.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/utsname.sats
/usr/lib/ats-anairiats-0.2.11/libc/sys/SATS/wait.sats
/usr/lib/ats-anairiats-0.2.11/prelude/ats_main_prelude.dats
/usr/lib/ats-anairiats-0.2.11/prelude/basics_dyn.sats
/usr/lib/ats-anairiats-0.2.11/prelude/basics_sta.sats
/usr/lib/ats-anairiats-0.2.11/prelude/fixity.ats
/usr/lib/ats-anairiats-0.2.11/prelude/macrodef.sats
/usr/lib/ats-anairiats-0.2.11/prelude/params.hats
/usr/lib/ats-anairiats-0.2.11/prelude/params_system.hats
/usr/lib/ats-anairiats-0.2.11/prelude/sortdef.sats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/array.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/basics.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/bool.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/byte.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/char.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/float.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/integer.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/integer_fixed.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/integer_ptr.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/lazy.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/lazy_vt.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/list.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/list_vt.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/matrix.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/option.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/pointer.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/printf.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/reference.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/sizetype.cats
/usr/lib/ats-anairiats-0.2.11/prelude/CATS/string.cats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/arith.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/array_prf.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/basics.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/bool.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/char.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/dlist_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/filebas.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/float.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/integer.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/lazy.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/lazy_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/list_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/matrix.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/matrix0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/memalign.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option0.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/option_vt.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/pointer.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/printf.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/ptrarr.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/reference.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/sizetype.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/string.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/syndef.dats
/usr/lib/ats-anairiats-0.2.11/prelude/DATS/unsafe.dats
/usr/lib/ats-anairiats-0.2.11/prelude/HATS/lmacrodef.hats
/usr/lib/ats-anairiats-0.2.11/prelude/HATS/number.hats
/usr/lib/ats-anairiats-0.2.11/prelude/HATS/syndef.hats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/arith.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/array.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/array0.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/bool.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/byte.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/char.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/dlist_vt.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/extern.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/filebas.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/float.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer_fixed.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/integer_ptr.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/lazy.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/lazy_vt.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list0.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/list_vt.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/matrix.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/matrix0.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/memalign.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/memory.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/multiset.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/number.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option0.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/option_vt.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/pointer.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/printf.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/ptrarr.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/reference.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/sizetype.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/string.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/syndef.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/unsafe.sats
/usr/lib/ats-anairiats-0.2.11/prelude/SATS/vsubrw.sats
/usr/share/doc/ats-lang-anairiats/VERSION.txt.gz
/usr/share/doc/ats-lang-anairiats/changelog.Debian.gz
/usr/share/doc/ats-lang-anairiats/copyright
/usr/share/man/man1/atscc.1.gz
/usr/share/man/man1/atslex.1.gz
/usr/share/man/man1/atsopt.1.gz

Changelog

2013-10-10 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.11-1) unstable; urgency=low
* New upstream release
2013-01-14 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.9-1) unstable; urgency=low
* New upstream release
* Updated standards-version
* Threaded "hardening" compilation options through build process
2012-01-25 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.6-1) unstable; urgency=low
* New upstream release
2011-10-12 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.5-1) unstable; urgency=low
* New upstream release (Closes: #645134)
* Fixes build (Closes: #633300)
2011-04-25 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.4-1) unstable; urgency=low
* New upstream release
2010-12-14 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.3-1) unstable; urgency=low
* New upstream release (Closes: #601772)
* Updated example Makefiles to version 0.2.3
2010-06-13 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.2.0-1) unstable; urgency=low
* New upstream release
* Modifying example Makefiles to build, test, and not clean.
* Working around build system bug to do with Makefile_main_temp.
2010-03-05 - Matthew Danish <mrd@debian.org>
ats-lang-anairiats (0.1.8-1) unstable; urgency=low
* Initial release (Closes: #571031)

See Also

Package Description
ats2-lang_0.1.3-1_amd64.deb ATS version 2 programming language compiler
atsar_1.7-2_amd64.deb system activity reporter
attal-themes-medieval_1.0~rc2.dfsg1-1_all.deb medieval theme for attal
attal_1.0~rc2-2_amd64.deb turn-based strategy game
attic_0.13-1_amd64.deb deduplicating backup program
attr_2.4.47-2_amd64.deb Utilities for manipulating filesystem extended attributes
aubio-tools_0.4.1-2+b2_amd64.deb library for audio segmentation -- utilities
auctex_11.87-3+deb8u1_all.deb integrated document editing environment for TeX etc
audacious-dev_3.5-2_amd64.deb audacious development files
audacious-plugins-data_3.5-1_all.deb Data files for Audacious plugins
audacious-plugins_3.5-1+b2_amd64.deb Base plugins for audacious
audacious_3.5-2_amd64.deb small and fast audio player which supports lots of formats
audacity-data_2.0.6-2_all.deb fast, cross-platform audio editor (data)
audacity_2.0.6-2_amd64.deb fast, cross-platform audio editor
audex_0.78-1_amd64.deb Audio grabber tool for KDE
Advertisement
Advertisement