Parents (Total: 17)

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

Key	Value
FileSize	1154948
MD5	3184282C1D06AC84F152F5F8F136B881
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.3.11-2
SHA-1	0874BC10394BA070C70E4B7D98C20D1DD659117E
SHA-256	7C3172EC65A307F8E5DB71FCB5D8C3E13AC79736BB0834C61F1C9892C1C9F9CF

Key	Value
FileSize	1103400
MD5	CA64F373030F3FB16AD5AC5E3D5889D2
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.3.11-2
SHA-1	0B0CDBD82430699727CB7AE7BDA75F54F1203FDA
SHA-256	ED498BF49F1744FED65910A28C8EAED60FF3F67EB581B3B21EA858FA9844B17F

Key	Value
FileSize	1171608
MD5	CE9CD114D4065BC55A3FCD6CA4373FD3
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.3.11-2
SHA-1	36BA79032BD7F9DAB0BF1F297C4A7A8461894306
SHA-256	13D3B8E9639EFC6EF65C8423B8BD344BB8E2D0161A27357A6D2B18088863461B

Key	Value
FileSize	1098624
MD5	F91D2E43EDC264A59B2FB3C936B45CEB
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.3.11-2
SHA-1	3C9F2095CFA80BC52753FA87ACC6F9BE685AEF3F
SHA-256	A39F83607836D932BA92795ECE707D076E216AC02CD7B436336D219FFDBCD779

Key	Value
FileSize	1109876
MD5	7886FE3D942A5F9AE8C8DED63CE5AF16
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.3.11-2
SHA-1	41DCC3A8370C4AB9CD063B21082AB8209969A2A9
SHA-256	C90C90C999D48199E4FABD3E25CE9C764A361C9E66B7B038125A60F803EEAF57

Key	Value
FileSize	1139076
MD5	63171CDF40DC16731A2179D239DD730C
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.3.11-2
SHA-1	57671B90C4CD76E3F8543B0A1BF72BF390671F10
SHA-256	BEA5BD3E2F1C26BC52FFFF6E55CF7D4599531B97804ED0ECA0252D2F579C85E9

Key	Value
FileSize	1110516
MD5	D28F7D7189A9BC2D07451E9D8C2D76A8
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.3.11-2
SHA-1	602832574A00AF82B2A723217354D77AC345AA63
SHA-256	E28490EF9CB7158A9D22132FF518D468943609403703E6809811FA1544E94088

Key	Value
FileSize	1199972
MD5	670F6A5E917B8EAFA7CB2EC0B6047079
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.3.11-2
SHA-1	64D3F951E5D5AFA4A7355679D9B89B16C3AFD7DC
SHA-256	6701A479811ABA086D1A6322E006743BF938F5008CE96444EEE2DF453ABC0106

Key	Value
FileSize	1085420
MD5	ACFEB12C0C02522872BA950ED0AE16C4
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.3.11-2
SHA-1	923AE264119663591182486114B75C4C87761F46
SHA-256	345A7BA0041551BBB359A127075019B4BD90B22E54FD697E532FC4F716D7184D

Key	Value
FileSize	1311208
MD5	82CCFF020D43FC04305CC51675A99593
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.3.11-2
SHA-1	936FF5CECE42D69BDEA089EF3BFE63F640A25573
SHA-256	6FAA270E9007EB24A4FF52755E558BAF1A4FD813DC31D5933FA4E84A01C6F371