Ubuntu

elpa-ats2-mode binary package in Ubuntu Jammy riscv64

  1. Jammy (22.04)
  2. riscv64
  3. elpa-ats2-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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-12-28 07:53:47 UTC Published Ubuntu Jammy riscv64 release universe lisp Optional 0.4.2-1
  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Jammy riscv64 proposed universe lisp Optional 0.4.2-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
  2021-12-28 07:53:51 UTC Superseded Ubuntu Jammy riscv64 release universe lisp Optional 0.4.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ats2-lang 0.4.2-1 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu

Source package