Ubuntu
ats2-lang package

ats2-lang 0.3.13-1 source package in Ubuntu

Changelog

ats2-lang (0.3.13-1) unstable; urgency=medium

  * New upstream release
  * Fix symlinks in upstream source. (Closes: #910147) 

 -- Matthew Danish <email address hidden>  Thu, 19 Dec 2019 16:38:00 +0000

Upload details

Uploaded by:
Matthew Danish
Uploaded to:
Sid
Original maintainer:
Matthew Danish
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
ats2-lang_0.3.13-1.dsc 1.9 KiB 4ab8b475252120809eded4a6dd1f461a957587dcd613d2181753fdeb71c68886
ats2-lang_0.3.13.orig.tar.gz 4.3 MiB 0056ff5bfa55c9b9831dce004e7b1b9e7a98d56a9d8ae49d827f9fd0ef823c23
ats2-lang_0.3.13-1.debian.tar.xz 9.5 KiB f603ef76825e0b647f0a341913ecc541e20593a6b4fea9a4458ae8665c93085b

Available diffs

No changes file available.

Binary packages built by this source

ats2-lang: No summary available for ats2-lang in ubuntu groovy.

No description available for ats2-lang in ubuntu groovy.

ats2-lang-dbgsym: debug symbols for ats2-lang
elpa-ats2-mode: ATS version 2 programming language emacs mode

 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.
 .
 This package contains the emacs mode for ATS2.