Parents (Total: 21)

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

Key	Value
FileName	http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//ats2-0.4.2-r0.apk
MD5	9F84811E5D4D235DFE165F9B88BA7AAA
SHA-1	0F11125B54F29BDB12EDC7000411229D97484C94
SHA-256	DC7A1CED439A69726FFF7C7F3395A7E69B4C7BDD0059A01C1ADAFB1A17C56747
SSDEEP	49152:sJWI5ENZ6xLpFVC12pbJpS8S5fQ98ojR+i:I3x2g1p+5fQKoN+i
TLSH	T10785339BB2E374B930C32FF735D03A5BBB009649462D541E3F0FAC9916914983BBAD49

Key	Value
FileName	http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//s390x//ats2-0.4.2-r0.apk
MD5	8B3649A3A3E2BCAC58DCF44AA49C2F8F
SHA-1	157E6C6642C672950CD0C59B9E182831CA44DA27
SHA-256	8FCBDFA6E1E3D869EDCB1AC9FEBFF3F4387ABFE3535DEC6A61E2C55E2A726813
SSDEEP	24576:qEcMXzkVfmG+83WkMLGsQzcMVXFtF0uM2PCmMk6sAtH4cf9RdZevhRIDprz0:0u+uGPtEGKMVVteuP/Mk6vrXZ8RUprz0
TLSH	T17285333A78B32F9332A124B202D6519AE94D9DAF9F6E71CB8106B05FDBF14534731B06

Key	Value
FileSize	1097228
MD5	7EFFD0B05157DBDA35F785C925687CBF
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.4.2-1.1
SHA-1	2BBC49AA004BB9DCFD70F65F71A8517D59BBCF5F
SHA-256	B6D50D3E7972E8F9F75AC3AEC882CBABEFD4B3798CEA043CAC854C38CD24EB03

Key	Value
FileSize	1058028
MD5	1BF9DD3731E12FEB6425974EC6031E45
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.4.2-1.1
SHA-1	2CF2F4FA2E29EA1475C08C1E18E3C67C88D41DEE
SHA-256	8817AB8B8E19073FF1D2CFEEFB3C718B9FFF59B80C95B9E9328690A9B9C723E0

Key	Value
FileSize	1204520
MD5	75E8011E02BF88D6039FC0F9F0019D7A
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.4.2-1.1
SHA-1	380F7836BBE2CFDEE5EED67EBAF9FDC831F722E8
SHA-256	75540BAB682F70468B360935236AAF0487E17EEAA54A3ABAFA5D68E21DD326A9

Key	Value
FileSize	1133652
MD5	10D15357C47282D996090820DA34290D
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.4.2-1
SHA-1	3C4B3841CEAEF02F8546E563B4A9AD2390B8F74F
SHA-256	A98BCB7B2BE85AEAF69E32C230B7C8A1A1C5370E04D3DEEF15EADAACB97B9DA4

Key	Value
FileSize	1129344
MD5	42DC4F1EDE937EED72D8EAA8D60127C0
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.4.2-1
SHA-1	3CA5C3C7FCDE8F9887785A11B51985A30E80F782
SHA-256	D052AE88D950BF43F58CB9B6BF6C867A7A194DE9821BA0C44FAA1A6053EBB802

Key	Value
FileSize	1150112
MD5	8378754871225B1FC8FE2DE639CD3C01
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.4.2-1.1
SHA-1	5633D3605C4A542500EBB32975556CE11A445500
SHA-256	CBC6A8256113898521618CC96EA6579E5CE4DAF4AEFA84746D13D8FC64C60E93

Key	Value
FileName	http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//loongarch64//ats2-0.4.2-r0.apk
MD5	46F07539EB82A7B7A30E7F4E6A064941
SHA-1	5C60A8528273D872E2336E389686034227806995
SHA-256	BABCF9E9A217C8FA72841833B0EB26FF1938E3F658DC05BFC4C1B94308485A7E
SSDEEP	49152:f1mHHYaknWwyZMPsq6LDziBR9QiAl2rHr7Q4YW0heI+:tmhknWwyZMP6Lrl2HQ4Shej
TLSH	T1868533A1CA1894122B908ABD4580F773E6F6BF38B6BDA4EF0D171DEF30A61529031757

Key	Value
FileSize	1098264
MD5	861D74DDAC7E6DC0E13F9F63B5473CA4
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.4.2-1
SHA-1	760AFF6CB6E0C434AA8B5218A94F85FFD5198269
SHA-256	4ECFBC7868792F7FA6511F6046CB41ECB683DC8F118B1BAD98D4C27637E1906A