Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	768304
MD5	B6DA6A7D1D247319340239DF60323A15
PackageDescription	ATS version 2 programming language compiler 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, as well as the emacs mode for the language.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.6-2
SHA-1	7B7D979609741AB37A3BD0AE9B83980ADE5467EE
SHA-256	265F91F9E5A9691E63B98619AAA647650EA4067422B7E66F122D368528744C1B

Key	Value
FileSize	731062
MD5	CFDA48DFD902ACE6A3D72C28C1584264
PackageDescription	ATS version 2 programming language compiler 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, as well as the emacs mode for the language.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.6-2
SHA-1	9CE29202D6F521CC20E5FC9A6635440920DF44BF
SHA-256	4F0621900D5BE1532A97C71006A52F77227F8089A8544FD5F0C4A1EF4ED1ED9F