| Key | Value |
|---|---|
| FileName | ./usr/lib/ats2-postiats-0.1.1/prelude/CATS/float.cats |
| FileSize | 17535 |
| MD5 | A536BEDF1665D479E28A5DF5C6E16153 |
| SHA-1 | 037FED231F6E80E621ED71C0E32884C941691F69 |
| SHA-256 | BABA594E1E604F138A8385DAFF16833E9F96D8874589E4B0A03438486B083A90 |
| SSDEEP | 192:lxl9souMLCq2exrrrU66269DRQkjssrCvgWdgpUMQKpdhCzD5Hyhu:rsoTxrrrURVMsrugWdtHy8 |
| TLSH | T1A472E5AE11427C4B4E4236EA6D4968C7E05DC69557ACDF88E00C6238FB6C6787038FE7 |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 569162 |
| MD5 | A3175C388C5E6327FCDEB067CFE8ABCE |
| 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 | 5A2F9E0BF8F97235045D0AE000EE0E89BFF1E32C |
| SHA-256 | 2DA2DAFA500B204DF0173FE2F738E13E7CAED1DFAD7C81A955EB6EF7BB8795CC |
| Key | Value |
|---|---|
| FileSize | 568850 |
| MD5 | 539BD2C50520EF650A634998AC1BE4CC |
| 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 | 4CA013831A63C754C0A5F44BB299C3BDF5DD3D66 |
| SHA-256 | 4D23449EE5B1C1EEA3D638A467113C330166AB46B57480FDE1B300C915255CA5 |
| Key | Value |
|---|---|
| FileSize | 696122 |
| MD5 | 62CACC6AE53BC5A0D46092D736B4B23C |
| 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 | 56A09D87A68F08B02138C85A3677A85E1D8FCC09 |
| SHA-256 | 36ED7845D67572B9AF47599165DD846F89B03A4F22EEE2AB499C3CD59C6FCA33 |
| Key | Value |
|---|---|
| FileSize | 591712 |
| MD5 | 4541F7C68752CE246472C5254F0E5956 |
| 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 | 6B44F3EEE8021FDA6F9753C0A265D840D8E609FA |
| SHA-256 | 306602495B0712F595A5809A5FE9D4BBD9AF63433CBC9E31861CEBC255207013 |
| 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 |