ats2-lang_0.1.3-1_amd64.deb


Advertisement

Description

ats2-lang - ATS version 2 programming language compiler

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name ats2-lang
Package version 0.1.3
Package release 1
Package architecture amd64
Package type deb
Installed size 3.81 KB
Download size 656.33 KB
Official Mirror ftp.br.debian.org
ATS2 a.k.a. ATS/Postiats 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/Postiats) is written in ATS (ATS/Anairiats) 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 patsopt and the frontend patscc.

Alternatives

Package Version Architecture Repository
ats2-lang_0.1.3-1_i386.deb 0.1.3 i386 Debian Main
ats2-lang - - -

Requires

Name Value
libc6 >= 2.14
libgmp10 -

Download

Type URL
Binary Package ats2-lang_0.1.3-1_amd64.deb
Source Package ats2-lang

Install Howto

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

Files

Path
/usr/bin/patscc
/usr/bin/patsopt
/usr/lib/ats2-postiats-0.1.3/bin/patscc
/usr/lib/ats2-postiats-0.1.3/bin/patsopt
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/lib/libatslib.a
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_basics.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_config.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_exception.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_instrset.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc_libc.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloca.h
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime.c
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime2_dats.c
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime_memalloc.c
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime_trywith.c
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_typedefs.h
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funheap_binomial.dats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funheap_braun.dats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funmset_listord.dats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funset_listord.dats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/linset_listord.dats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funheap_binomial.sats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funheap_braun.sats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funmset_listord.sats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funset_listord.sats
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/linset_listord.sats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/deqarray.cats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/dynarray.cats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/hashfun.cats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/qlist.cats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/stkarray.cats
/usr/lib/ats2-postiats-0.1.3/libats/CATS/stringbuf.cats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/athread.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/athread_posix.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/deqarray.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/dllist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/dynarray.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/fundeque_fngtree.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funmap_avltree.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funmap_list.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funralist_nested.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funset_avltree.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funset_listord.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gfarray.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gflist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gflist_vt.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gnode.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashfun.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashtbl_chain.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashtbl_linprb.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/ilist_prf.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/lindeque_dllist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linheap_binomial.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linheap_binomial2.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_avltree.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_list.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_randbst.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_skiplist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linralist_nested.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linset_avltree.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linset_listord.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/qlist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/refcount.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/sllist.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/stkarray.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/stringbuf.dats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/fundeque.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funmap.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funralist.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funset.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/hashtbl.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linheap.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linmap.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linmap_node.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linset.hats
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linset_node.hats
/usr/lib/ats2-postiats-0.1.3/libats/ML/CATS/array0.cats
/usr/lib/ats2-postiats-0.1.3/libats/ML/CATS/strarr.cats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/array0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas_dirent.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funmap.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funset.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/hashtblref.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/intrange.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/list0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/matrix0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_list.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_maybe.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/option0.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/stdlib.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/strarr.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/string.dats
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/SHARE/monad.hats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/array0.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/basis.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/filebas.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/funmap.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/funset.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/hashtblref.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/intrange.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/list0.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/matrix0.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/monad_list.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/monad_maybe.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/option0.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/stdlib.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/strarr.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/string.sats
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/SHARE/monad.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/athread.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/deqarray.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/dllist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/dynarray.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/fundeque_fngtree.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funmap_avltree.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funmap_list.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funralist_nested.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funset_avltree.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funset_listord.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gfarray.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gflist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gflist_vt.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gnode.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashfun.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashtbl_chain.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashtbl_linprb.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/ilist_prf.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/lindeque_dllist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linheap_binomial.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_avltree.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_list.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_randbst.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_skiplist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linralist_nested.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linset_avltree.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linset_listord.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/qlist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/refcount.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/sllist.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/stkarray.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/stringbuf.sats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/fundeque.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funmap.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funralist.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funset.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/hashtbl.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/lindeque.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linheap.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linmap.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linmap_node.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linralist.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linset.hats
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linset_node.hats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/alloca.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/dirent.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/dlfcn.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/errno.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/fcntl.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/fnmatch.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/malloc.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/math.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/signal.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/stdio.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/stdlib.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/string.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/strings.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/time.cats
/usr/lib/ats2-postiats-0.1.3/libc/CATS/unistd.cats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/dirent.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/errno.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/fcntl.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/math.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/stdio.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/stdlib.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/string.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/strings.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/time.dats
/usr/lib/ats2-postiats-0.1.3/libc/DATS/unistd.dats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/alloca.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/dirent.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/dlfcn.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/errno.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/fcntl.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/fnmatch.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/malloc.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/math.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/signal.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stddef.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stdio.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stdlib.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/string.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/strings.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/time.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd_pathconf.sats
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd_sysconf.sats
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/CATS/datum.cats
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/CATS/gdbm.cats
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/gdbm.sats
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/SHARE/datum.hats
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/mman.cats
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/stat.cats
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/time.cats
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/types.cats
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/wait.cats
/usr/lib/ats2-postiats-0.1.3/libc/sys/DATS/stat.dats
/usr/lib/ats2-postiats-0.1.3/libc/sys/DATS/types.dats
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/mman.sats
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/stat.sats
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/time.sats
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/types.sats
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/wait.sats
/usr/lib/ats2-postiats-0.1.3/prelude/basics_dyn.sats
/usr/lib/ats2-postiats-0.1.3/prelude/basics_gen.sats
/usr/lib/ats2-postiats-0.1.3/prelude/basics_pre.sats
/usr/lib/ats2-postiats-0.1.3/prelude/basics_sta.sats
/usr/lib/ats2-postiats-0.1.3/prelude/fixity.ats
/usr/lib/ats2-postiats-0.1.3/prelude/lmacrodef.sats
/usr/lib/ats2-postiats-0.1.3/prelude/macrodef.sats
/usr/lib/ats2-postiats-0.1.3/prelude/params.hats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/array.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/arrayptr.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/arrayref.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/basics.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/bool.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/char.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/filebas.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/float.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer_fixed.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer_ptr.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/list.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/matrix.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/matrixptr.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/memory.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/option.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/pointer.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/string.cats
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/strptr.cats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arith_prf.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_bsearch.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_prf.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_quicksort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayref.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/basics.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/bool.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/char.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/checkast.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer_foreach.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/filebas.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_array.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giterator.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_int.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_uint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_bool.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_char.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_float.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_int.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_string.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_uint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gprint.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer_fixed.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/intrange.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_mergesort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_quicksort.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrix.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixref.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/memory.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/parray.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/pointer.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/reference.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream_vt.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/string.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/strptr.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/tuple.dats
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/unsafe.dats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arith_prf.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/array.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/array_prf.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arrayptr.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arrayref.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/bool.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/char.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/checkast.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/extern.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/fcontainer.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/filebas.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/float.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/giterator.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gnumber.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gorder.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gprint.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer_fixed.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer_ptr.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/intrange.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/list.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/list_vt.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrix.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrixptr.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrixref.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/memory.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/option.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/option_vt.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/parray.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/pointer.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/reference.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/stream.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/stream_vt.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/string.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/strptr.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/tuple.sats
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/unsafe.sats
/usr/lib/ats2-postiats-0.1.3/share/Makefile.gen
/usr/lib/ats2-postiats-0.1.3/share/atsmake-post.mk
/usr/lib/ats2-postiats-0.1.3/share/atsmake-pre.mk
/usr/lib/ats2-postiats-0.1.3/share/atspre_define.hats
/usr/lib/ats2-postiats-0.1.3/share/atspre_staload.hats
/usr/lib/ats2-postiats-0.1.3/share/HATS/atslib_staload_libc.hats
/usr/lib/ats2-postiats-0.1.3/share/HATS/atspre_define_pkgreloc.hats
/usr/lib/ats2-postiats-0.1.3/share/HATS/atspre_staload_libats_ML.hats
/usr/share/doc/ats2-lang/README.Debian
/usr/share/doc/ats2-lang/VERSION.txt.gz
/usr/share/doc/ats2-lang/changelog.Debian.gz
/usr/share/doc/ats2-lang/copyright
/usr/share/man/man1/patscc.1.gz
/usr/share/man/man1/patsopt.1.gz

Changelog

2014-10-02 - Matthew Danish <mrd@debian.org>
ats2-lang (0.1.3-1) unstable; urgency=low
* New upstream release
2014-09-19 - Matthew Danish <mrd@debian.org>
ats2-lang (0.1.2-1) unstable; urgency=low
* New upstream release
2014-07-31 - Matthew Danish <mrd@debian.org>
ats2-lang (0.1.1-1) unstable; urgency=low
* New upstream release
2014-06-11 - Matthew Danish <mrd@debian.org>
ats2-lang (0.1.0-1) unstable; urgency=low
* New upstream release
2014-04-02 - Matthew Danish <mrd@debian.org>
ats2-lang (0.0.7-1) unstable; urgency=medium
* Initial release (Closes: #725033)
* Should have eliminated all traces of LGPL
* Upstream has decided to go GPL-3 for full source

See Also

Package Description
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
audiofile-tools_0.3.6-2+deb8u2_amd64.deb sfinfo and sfconvert tools
Advertisement
Advertisement