Result for 000D5F6DEB5C803C70E6E9A8D83524E8303212BB

Query result

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

Network graph view

Children (Total: 344)

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

Key Value
FileName./usr/lib/ats2-postiats-0.1.1/prelude/CATS/array.cats
FileSize2797
MD5AED1297CE628B44BE3811CFBAA21A072
SHA-100E31B756AACEFD5BBAEAA72206A394C085AAB7B
SHA-256DE205F6C0FF8C3019B8243FD18C360F1E7860DD0757C91CED5E30028E19ACFC9
SSDEEP48:lxl9KSFncxlH855WGea6kVur4by/Gi9E+whhRjGh5ZAJFUuZ:lxl9s85g8Grwy/Gi9vwnRjIZAJR
TLSHT1E151207612C01D72146041E7525652D4E237A3433775BEA6B2CF33B9AB4FB6073BD2A4
Key Value
FileName./usr/lib/ats2-postiats-0.1.1/prelude/CATS/float.cats
FileSize17535
MD5A536BEDF1665D479E28A5DF5C6E16153
SHA-1037FED231F6E80E621ED71C0E32884C941691F69
SHA-256BABA594E1E604F138A8385DAFF16833E9F96D8874589E4B0A03438486B083A90
SSDEEP192:lxl9souMLCq2exrrrU66269DRQkjssrCvgWdgpUMQKpdhCzD5Hyhu:rsoTxrrrURVMsrugWdtHy8
TLSHT1A472E5AE11427C4B4E4236EA6D4968C7E05DC69557ACDF88E00C6238FB6C6787038FE7
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.1.1/prelude/DATS/matrix.dats
FileSize7005
MD51CEA991AD1C10147E0C38425DC9F98F6
SHA-10391A39E9898E06299E23886C40784B86E059917
SHA-25607C632BCEF17FDA4586E18F6D92CF60A2633BD7C0EEEBB30B0868D1D89D288FB
SSDEEP192:FsBI/DgC+Gcx80AgJ5GHBaQ6+Ks4pSgATP5:FsBlu5BByUh
TLSHT1ADE1EB6B11C80CBAD4FDE1D2FD8AAED86D52F00986967987B81F35341B5DE46EA30390
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.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.1.3/libats/SATS/SHARE/hashtbl.hats
FileSize5205
MD5F13B89E62CCAEDFF0C186B8A22CEB908
SHA-1059717105709EF755704D03B41C43529D91ECBB4
SHA-256B4765ADFFE5EFF180DDB07313A15DE252E9DAF768345B56563CFAC14C36E7405
SSDEEP96:OB0p814kwTQF8ZzKnq4e8MYQ6QHJQR+QRgo:Fp9cWKqLrWRHR9
TLSHT197B1F07743645E6947B5223755897DCAFD41F364098C20B3706E72F0E70DA70A2A2E6D
Key Value
FileName./usr/share/doc/ats2-lang/VERSION.txt.gz
FileSize3783
MD58F9597272B86D7629F5DDD489D334F11
SHA-1083CAE29FBE87726BB546F2B277CC2DF907FE420
SHA-256CCA671DA085D4B6EBC08DFE49613ABA323EE98485EF7F8CE49A7010A3A53BA3A
SSDEEP96:C6FvFQsmBD3HFqWVZUiMODsmSJPeFrXlF8VgAKEk98:99FQjD/BMOXgPeFpHWk6
TLSHT197717E8A4BE2B9EC850130243578744F60B7AE41ADDD43B94F4A4ED5842154CFB9B4F8
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/libats/SATS/SHARE/linralist.hats
FileSize3720
MD5F6364FBBDC47D3CE0A11F2C9BE5442A3
RDS:package_id182052
SHA-1085627B18CF31AEDC48890AC993FE14A44804421
SHA-256CBA5915C1FE6F6765B2A214F45AECF356BE22B641589E80186A6CE2A537F19BD
SSDEEP48:OB0vSFncblH815u05WljjTP60DTwOwJTwd7cSgA413ECJywkmFaRJSoH:OB0p8140olLGEmLZ1nYH
TLSHT17971C02583512D3B43F5146B0842AFDB7643D209E1809D86F18DB2AFE70EFE5E1E46E6
insert-timestamp1679422736.169459
sourceRDS.db
Key Value
FileName./usr/bin/patscc
FileSize662
MD59FFF71727467BF43F171BCCC0B07A3F5
SHA-10988A9C9407953539DD472FCC8598E98C353F29F
SHA-256B637379C8529CC1A714CFA7ACF4EFED732E4DF0395E2234DC7681D259B23338D
SSDEEP12:derVule5n/SQeU304LRiJ9yq30tA2KjwXfmYqpj6vm3dRVcCdSaxYwZIOysBx3v:nO/SQeU30GRiWq30tASvu6Y1o+2OlBxf
TLSHT1A101FEB64E4A15BA421F09B2004A6096A60431EB1093FC65788A1F516AB1FDC30E7D82