Result for 038F0065D8AA27CB9029B7802CF7DD4E9A42E6D7

Query result

Key Value
FileName./usr/lib/ats2-postiats-0.3.13/libats/ML/CATS/array0.cats
FileSize1655
MD59B11DBF245D6362485505FCFF0B62443
RDS:package_id182052
SHA-1038F0065D8AA27CB9029B7802CF7DD4E9A42E6D7
SHA-2565D328C79F20DB70554E0A9CC81A35958FBE152575F54D91AAAB0D7768B38550A
SSDEEP24:1xl8uhsKTR8mIJh9JCNSU/FBOkH8jw05TSWk8roMg:1xlPvSFncblH815E8hg
TLSHT19D310E3420819FB6142006E725C993DAE21342C67A6A7495701E37FDBB0F7B153A53E0
insert-timestamp1679422735.9986308
sourceRDS.db
tar:gnameroot
tar:unameroot
hashlookup:parent-total90
hashlookup:trust100

Network graph view

Parents (Total: 90)

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

Key Value
FileSize546878
MD56F3714820067A9567F95A6031A4B00EE
PackageDescriptionATS 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.1.1-1
SHA-1000D5F6DEB5C803C70E6E9A8D83524E8303212BB
SHA-256D23FC82067C6F4310E7B147722A0D83FF4E9388510CB183E5EB6BC5BB4B559AF
Key Value
FileSize664088
MD5F83BDA26944EC416E49FE504C8B0348B
PackageDescriptionATS 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.1.1-1
SHA-108527815C1B52ACD979979FF6F7B248B1406E9C5
SHA-256EBBD6DB19FD712E5FB0EC15AD75E8590776A0D6301B7F498DCF89094CEDB7139
Key Value
FileSize1154948
MD53184282C1D06AC84F152F5F8F136B881
PackageDescriptionATS 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.
PackageMaintainerMatthew Danish <mrd@debian.org>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.3.11-2
SHA-10874BC10394BA070C70E4B7D98C20D1DD659117E
SHA-2567C3172EC65A307F8E5DB71FCB5D8C3E13AC79736BB0834C61F1C9892C1C9F9CF
Key Value
FileSize771042
MD5D1C7790FA3C2119E4BD26D361278782B
PackageDescriptionATS 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.
PackageMaintainerMatthew Danish <mrd@debian.org>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.2.9-1+b1
SHA-109AB05EE18E8CC78C02B04A13004F4980D58336E
SHA-2563B9DBB7E72D1A2F4D2BAC9DCFA25B199D5502FF281058FD629C580460B23835D
Key Value
FileSize1103400
MD5CA64F373030F3FB16AD5AC5E3D5889D2
PackageDescriptionATS 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.3.11-2
SHA-10B0CDBD82430699727CB7AE7BDA75F54F1203FDA
SHA-256ED498BF49F1744FED65910A28C8EAED60FF3F67EB581B3B21EA858FA9844B17F
Key Value
FileSize610456
MD5C0C83AF680499D26ECDA331A1CE5A0CF
PackageDescriptionATS 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.2.1-1
SHA-10B83AEB6C91BCED15332B14698748809F7423CAA
SHA-2569058F2F8B54A262299CBDC21C9089A48FFE5978E11415A781E144FEA601FA01B
Key Value
FileNamehttp://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//ats2-0.4.2-r0.apk
MD59F84811E5D4D235DFE165F9B88BA7AAA
SHA-10F11125B54F29BDB12EDC7000411229D97484C94
SHA-256DC7A1CED439A69726FFF7C7F3395A7E69B4C7BDD0059A01C1ADAFB1A17C56747
SSDEEP49152:sJWI5ENZ6xLpFVC12pbJpS8S5fQ98ojR+i:I3x2g1p+5fQKoN+i
TLSHT10785339BB2E374B930C32FF735D03A5BBB009649462D541E3F0FAC9916914983BBAD49
Key Value
FileSize559526
MD5AABAEA471DC019A6E8073C5D4BA18D69
PackageDescriptionATS 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.
PackageMaintainerMatthew Danish <mrd@debian.org>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.1.3-1
SHA-1124DF91E0624C2E789080A54ED1A8B07A77B1DC7
SHA-25644576A2C8BDE14D79343836B1B98356468A9BD07BEE85DE1E1740D362DD07A0D
Key Value
FileNamehttp://dl-cdn.alpinelinux.org/alpine/latest-stable//community//s390x//ats2-0.4.2-r0.apk
MD58B3649A3A3E2BCAC58DCF44AA49C2F8F
SHA-1157E6C6642C672950CD0C59B9E182831CA44DA27
SHA-2568FCBDFA6E1E3D869EDCB1AC9FEBFF3F4387ABFE3535DEC6A61E2C55E2A726813
SSDEEP24576:qEcMXzkVfmG+83WkMLGsQzcMVXFtF0uM2PCmMk6sAtH4cf9RdZevhRIDprz0:0u+uGPtEGKMVVteuP/Mk6vrXZ8RUprz0
TLSHT17285333A78B32F9332A124B202D6519AE94D9DAF9F6E71CB8106B05FDBF14534731B06
Key Value
FileSize552260
MD59E544B82FDEC5DD8062F7B59F50C9443
PackageDescriptionATS 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.
PackageMaintainerMatthew Danish <mrd@debian.org>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.1.3-1
SHA-11F82400AA488A94DC8148D3B057C7AF365FB807A
SHA-2560A0545A5B0F087CC51025512D60FAD98EB4A78DAA6B45758A4787C9308E639C8