| Key | Value |
|---|---|
| FileName | ./usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/hashtbl.hats |
| FileSize | 5205 |
| MD5 | F13B89E62CCAEDFF0C186B8A22CEB908 |
| SHA-1 | 059717105709EF755704D03B41C43529D91ECBB4 |
| SHA-256 | B4765ADFFE5EFF180DDB07313A15DE252E9DAF768345B56563CFAC14C36E7405 |
| SSDEEP | 96:OB0p814kwTQF8ZzKnq4e8MYQ6QHJQR+QRgo:Fp9cWKqLrWRHR9 |
| TLSH | T197B1F07743645E6947B5223755897DCAFD41F364098C20B3706E72F0E70DA70A2A2E6D |
| hashlookup:parent-total | 22 |
| hashlookup:trust | 100 |
The searched file hash is included in 22 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 | 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 | 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 |
| Key | Value |
|---|---|
| FileSize | 672078 |
| MD5 | 1DAF9B0C32A0EA9351A3CA5FD36C6DAF |
| 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 | 4C9FBB6F591E3FAB89D861B5BACE7B50A195E3F4 |
| SHA-256 | C3ACFFBB8C0363E2146E16A132C9BCA2049A9D0CF16AA482B2C176ECC10DEC49 |
| 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 | 633658 |
| MD5 | 1E20DCADAD95D9B44A31ED512CD07C19 |
| 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 | 4DDA2D1E168F654150E7875E07D25FF00B5AE024 |
| SHA-256 | 931977C6170A94E989A0E279F1F1B998F5BEB46D5E8F1BDCB4C93D6CBD7AA3DC |
| 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 |