Parents (Total: 4)

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

Key	Value
FileSize	672078
MD5	1DAF9B0C32A0EA9351A3CA5FD36C6DAF
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.3-1
SHA-1	4C9FBB6F591E3FAB89D861B5BACE7B50A195E3F4
SHA-256	C3ACFFBB8C0363E2146E16A132C9BCA2049A9D0CF16AA482B2C176ECC10DEC49

Key	Value
FileSize	559526
MD5	AABAEA471DC019A6E8073C5D4BA18D69
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.3-1
SHA-1	124DF91E0624C2E789080A54ED1A8B07A77B1DC7
SHA-256	44576A2C8BDE14D79343836B1B98356468A9BD07BEE85DE1E1740D362DD07A0D

Key	Value
FileSize	705282
MD5	5245C92B0CE2C503B1A6FD66CDB11793
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.3-1
SHA-1	ECD5AB8313D13BD6E1F69F140BC5D8AE36E0C22A
SHA-256	64885EA98496CAEE99EF6BE207060EB913656EFF78D8419D67FF4F15F621D709

Key	Value
FileSize	552260
MD5	9E544B82FDEC5DD8062F7B59F50C9443
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.1.3-1
SHA-1	1F82400AA488A94DC8148D3B057C7AF365FB807A
SHA-256	0A0545A5B0F087CC51025512D60FAD98EB4A78DAA6B45758A4787C9308E639C8