Key | Value |
---|---|
FileName | usr/lib/ats2-postiats-0.4.2/prelude/DATS/SHARE/gorder_char.dats |
FileSize | 1645 |
MD5 | 661DE30ED0A3316DD671E7B79CCD91CC |
SHA-1 | 00B8D83FD5F5AD0D5B33A45C75E325B74D9CCC8C |
SHA-256 | 893CD871FA7AF38DF826D0A25BB56B25E49ACC52FBB8170B574BC9977265A0AE |
SSDEEP | 24:OBbuhsPTR8mIJh9JCPSU/FBOkH8jU05TSWnZx4UbNKzwdL:OB0KSFncxlH855HZxFNuw9 |
TLSH | T1E631207820818F73593196932ACBD3EAB53263CB7A594057F44E77BD6B0FB7213A4290 |
tar:gname | root |
tar:uname | root |
hashlookup:parent-total | 21 |
hashlookup:trust | 100 |
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 |