Result for 1F82400AA488A94DC8148D3B057C7AF365FB807A

Search result
Graph view
Children (346)

Query result

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
hashlookup:children-total346
hashlookup:trust50

Network graph view

Children (Total: 346)

The searched file hash includes 346 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer.cats
FileSize56503
MD596A6FB512187479C95F47B831B10F4D4
SHA-100E8CBF38DD51565052D82781119E7E8A78A9B42
SHA-256E75806A4A90A61D4AF54E906188B55D19DFF9DB33A2C2E9389EE450907590B72
SSDEEP768:wAiJje81UvZxHFnAESm4SzyGHTTQHZIEVo:Bue81SxHFnAESm4SzyGPQHZIEVo
TLSHT1B6432ABB05C1842866A137DF191DB5D0F1AEE7610BEC2BE1E018297CB67D57470BA2CB
Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/CATS/memory.cats
FileSize1996
MD5D8F83AF5022230FC23FF578BE1348518
SHA-1012716D2ECFBB86E0E7A092DF5A9BD5A96140C17
SHA-256A0C51DC7D4C42E031DD1649743EC9A043654F9021AE0CBD0580A484294FB21A4
SSDEEP24:lxl6uhsPTR8mIJh9JCPSU/FBOkH8jU05TSW2G04UrYwzU+KBNxkjc5uRN:lxl9KSFncxlH855WG0C48N2jQg
TLSHT19E41CE7810919E73443006E7158D93DAE123A29B7A9560D9704E37BCFF0F7E113E5398
Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/SATS/intrange.sats
FileSize2214
MD5B6CE1B3B2FF341826B1AA269BF85820C
SHA-101B7114BB1DDF380C890763E76FD64AB989763DA
SHA-2561515E44B5C6AF587FD8D5BFFC7B87E18639212D5798B3A0AB7230C6D8BAD5B91
SSDEEP48:OB0KSFncxlH855vWNJJuMd6Cpf227duiE7:OB0s85J0K88F
TLSHT172410BB429214FB3C67246232589A2D6F41673C9A6D840C2B62E72BDDF4F736029426B
Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/SATS/pointer.sats
FileSize12028
MD58A590FC3228CDDD9289767BCDAFC24D2
SHA-102EC174353D3F3299D409F2BA990655FC2A8D1DC
SHA-2565D8F404A79EAAD71F791A14D109CDC08296D01433F80819E89597850072A2BAC
SSDEEP192:Fs030WHvmW+y9eaMXUi6QsezdKxiyVy4jJQpbpHUB:Fs030wm69eEi6QsezLHUB
TLSHT1694255745C840C52E8ECB7A7584552C2B6BAA9177AE9B042FD1C7365CB0FB2180F46DB
Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayref.dats
FileSize11426
MD5C2E231C159253EF6CA6E790B65CBEC91
SHA-10328F55CFFD594B73ED042ADF89C6F9E38B974ED
SHA-25642266440585EF4BD124DEB190FAA2CC5F8087E568195C3761C3899FFFA4A079C
SSDEEP192:FsF8RoaTAuc0lltzxErHtUIEgl1U2OHrrk9LO3E/vV9+7QMKEdxMxZDgisjtX:FsF8auCs3rU3Ha
TLSHT196320F7317814CBC65B87923984179E8EA12B5144ADC5EDAF80F3AB5EB0DF05EA712F0
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
Key Value
FileName./usr/lib/ats2-postiats-0.2.9/libc/gdbm/SATS/SHARE/datum.hats
FileSize2693
MD594CCCB72A7F762F82741BCD79276CFB6
RDS:package_id182052
SHA-1042780ACD99080DBDFEA262B101A3F8DC6BD3530
SHA-2569B81AE552908895C840F8F666430CE3C318DF72C5A0D700A6044503BB7D3E5F8
SSDEEP24:OBbuhsKTR8mIJh9JCNSU/FBOkH8jw05TSWFJ/SPF65sjq8HHcW/2+xL9oLAhQ0+q:OB0vSFncblH8158+8H8Wfxo8KUH82
TLSHT14C5120B008800E5108FC25F36CC95BD43ED1A288F69B20D7B5AF73B8932E7B5E274695
insert-timestamp1679422735.436082
sourceRDS.db
Key Value
FileName./usr/lib/ats2-postiats-0.1.3/prelude/DATS/reference.dats
FileSize2897
MD56BCBE66174CFB19007D47C48606E51F1
SHA-104FAF58F928A73EE49CC497CF7F5B244ADC9B5AB
SHA-256225419F2C7BA4279EACAADE8207A8148D8A34B52D57BB1D2F434809A9D018659
SSDEEP48:OB0KSFncxlH855HZqFxu4RT9aHVNj+eABvOygkMssdrkDRck:OB0s85ZX4RTMHvjTA5O5bssdrORn
TLSHT17551747209474DF280B046537D86A2E9FF0022A61EB9E4A2F4BE7234D70DF2292F11E1
Key Value
FileName./usr/lib/ats2-postiats-0.2.9/libats/SATS/funset_avltree.sats
FileSize1818
MD52B7A35E99C609F4384F5BBC03E55EFB4
RDS:package_id182052
SHA-104FB2AABD50A31A703B86C476C97D9E8EEB5DC5A
SHA-256383723239A76042BE81B6C7BB4C83066AA976C4CB037287828960BCBE6BB3C3D
SSDEEP24:OBbuhsKTR8mIJh9JCNSU/FBOkH8jw05TSWyWCA7VyZX/E6S4:OB0vSFncblH815SWL6T
TLSHT11531357810405F7349315EF31ECB93DA612253CA76595093B04EBBFCBB0F76116A21D4
insert-timestamp1679422736.237788
sourceRDS.db
Key Value
FileName./usr/lib/ats2-postiats-0.2.6/libc/DATS/dirent.dats
FileSize3589
MD5929DBFE5AFB58230A73D7BE3127F461F
SHA-105699DDA05381EEB90486683A48BCE509FAF0DEC
SHA-256068E9C2DE5DB69E357F479F59FF6725AC8962F0FC419AF5305E7133894E5861C
SSDEEP96:OB0p81xx9MzYw08DzxDV+XBeaH57x+JGsTRnxuy:FpqJw08DzxDV+xn/sVQy
TLSHT1057163B3A0C10DB055B05993FC4DA2ED6983E147A32D58A2F95E3778AB0FF18B1702D0





metalookup is a service from miwakeru.com