Parents (Total: 6)

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

Key	Value
FileSize	569162
MD5	A3175C388C5E6327FCDEB067CFE8ABCE
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	5A2F9E0BF8F97235045D0AE000EE0E89BFF1E32C
SHA-256	2DA2DAFA500B204DF0173FE2F738E13E7CAED1DFAD7C81A955EB6EF7BB8795CC

Key	Value
FileSize	568850
MD5	539BD2C50520EF650A634998AC1BE4CC
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	4CA013831A63C754C0A5F44BB299C3BDF5DD3D66
SHA-256	4D23449EE5B1C1EEA3D638A467113C330166AB46B57480FDE1B300C915255CA5

Key	Value
FileSize	696122
MD5	62CACC6AE53BC5A0D46092D736B4B23C
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	56A09D87A68F08B02138C85A3677A85E1D8FCC09
SHA-256	36ED7845D67572B9AF47599165DD846F89B03A4F22EEE2AB499C3CD59C6FCA33

Key	Value
FileSize	591712
MD5	4541F7C68752CE246472C5254F0E5956
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	6B44F3EEE8021FDA6F9753C0A265D840D8E609FA
SHA-256	306602495B0712F595A5809A5FE9D4BBD9AF63433CBC9E31861CEBC255207013

Key	Value
FileSize	546878
MD5	6F3714820067A9567F95A6031A4B00EE
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	000D5F6DEB5C803C70E6E9A8D83524E8303212BB
SHA-256	D23FC82067C6F4310E7B147722A0D83FF4E9388510CB183E5EB6BC5BB4B559AF

Key	Value
FileSize	664088
MD5	F83BDA26944EC416E49FE504C8B0348B
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.1-1
SHA-1	08527815C1B52ACD979979FF6F7B248B1406E9C5
SHA-256	EBBD6DB19FD712E5FB0EC15AD75E8590776A0D6301B7F498DCF89094CEDB7139