Parents (Total: 41)

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

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

Key	Value
FileSize	771042
MD5	D1C7790FA3C2119E4BD26D361278782B
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	09AB05EE18E8CC78C02B04A13004F4980D58336E
SHA-256	3B9DBB7E72D1A2F4D2BAC9DCFA25B199D5502FF281058FD629C580460B23835D

Key	Value
FileSize	610456
MD5	C0C83AF680499D26ECDA331A1CE5A0CF
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.1-1
SHA-1	0B83AEB6C91BCED15332B14698748809F7423CAA
SHA-256	9058F2F8B54A262299CBDC21C9089A48FFE5978E11415A781E144FEA601FA01B

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	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

Key	Value
FileSize	768622
MD5	CF7419451206DA29110802D9A786A342
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	2E53B038ACCF5A46B3E1C0CDBE94A11E974E1630
SHA-256	40D56AA3F29D9FC92D742D8E55B4DD3DD7EE7B5D30836C2FF3221692CE4D78DA

Key	Value
FileName	10724
FileSize	780938
MD5	6855BD00A5277C16069B8A4A9C690734
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.9-1
RDS:package_id	182052
SHA-1	3105CFBB8590288A8D4FA99EF631A5E6128BB95E
SHA-256	0F1F7521863C5BD8D36AC3F17DA95A8D9F59EF32578DEBC4AC0D37E26FDAE238
insert-timestamp	1679408383.0781152
source	RDS.db

Key	Value
FileSize	668956
MD5	7138E221746E083D2B34694A02B877A5
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	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	31356DB343479358EED0796B898314E01C2EFEEB
SHA-256	3AE50F67A7D7A4A2D548B500779A0D4B3006939375020081C8521B1F302F83EF

Key	Value
FileSize	576020
MD5	F49DBAA7489B42CB920BF35A24AC5536
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.8-1
SHA-1	4075F9FC86E4C7E497B3E8817281C0ADA162113F
SHA-256	8381FC3F4E7F77DE3D3ED3960F4374D2533A8E7EF3ABAE4D4D10D4CB99826025