Result for 4075F9FC86E4C7E497B3E8817281C0ADA162113F

Search result
Graph view
Children (371)

Query result

Key Value
FileSize576020
MD5F49DBAA7489B42CB920BF35A24AC5536
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.8-1
SHA-14075F9FC86E4C7E497B3E8817281C0ADA162113F
SHA-2568381FC3F4E7F77DE3D3ED3960F4374D2533A8E7EF3ABAE4D4D10D4CB99826025
hashlookup:children-total371
hashlookup:trust50

Network graph view

Children (Total: 371)

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

Key Value
FileName./usr/lib/ats2-postiats-0.1.8/prelude/DATS/SHARE/gorder_bool.dats
FileSize1620
MD5FCC230629D593DCB5B79D3200D62BBCE
SHA-100490A9AA6C370E4A3F370E525C962FFEE304425
SHA-256D2A065BC55FDC6E1EAD66BCD2D859CDC8C5DCA4DB3B9CCC83D70B03CB01612CF
SSDEEP24:OBbuhsPTR8mIJh9JCPSU/FBOkH8jU05TSWnZR4UQKzavqPX:OB0KSFncxlH855HZR2uoG
TLSHT1DA31157821518F73552156D32ACA93DAA53163CBBA595053F04E77B86F0FB7263A01D0
Key Value
FileName./usr/lib/ats2-postiats-0.1.8/libc/CATS/fcntl.cats
FileSize2413
MD5C250753CE7F656B6533142710B62D857
SHA-100AC069F2656D2059B38B73D2DFC6D73DFA9DB20
SHA-25694BD9AAE12E6E546EA812962F15BB14C4E99655646990467227B0CE01B97C934
SSDEEP24:lxl6uhsPTR8mIJh9JCPSU/FBOkH8jU05TSW2P44Uy/zzJHLZJZuFRXWbeljZKIQm:lxl9KSFncxlH855WP42JHFJGRGapv
TLSHT1814130702091DE67856106B3668563D6E3A3628B77A81498700D37FCFB0FBB052F9785
Key Value
FileName./usr/lib/ats2-postiats-0.2.9/libats/CATS/dynarray.cats
FileSize1741
MD587FB872EC5E97D54454FABA091C3D035
RDS:package_id182052
SHA-1016F17A95731C4B3BC49840A41978019819831FD
SHA-2565FBD57AAF5AB50C0A7446411B758A067181AB122A9AA85AF4BF246C28B453A5E
SSDEEP24:1xl8uhs0TR8mIJh9JCNSU/FBOkH8jw05TSWQzWQOjjjZ:1xlPFSFncblH8154VOjjt
TLSHT11031CD3871815FB6142006F7228A92D9911362DB77AA6095304E37FCFB0FBB152B9390
insert-timestamp1679422736.0912561
sourceRDS.db
Key Value
FileName./usr/lib/ats2-postiats-0.2.9/libats/DATS/linmap_skiplist.dats
FileSize20775
MD5E866393558C9994547EB719DE1AC5278
RDS:package_id182052
SHA-10279A1D7CA10B2FE50008E3C45B185DBD294CA85
SHA-2560304A43584D6F9F33DC5517BCDF6B827A4F1A49693173254BF02F7BD07A82B26
SSDEEP192:Fp9xvgKfOxd8VG0fczBJmoZ5E6QE0WZ8lG0Zew445Fe5S0sD1VuTAfBEHb5M0d55:Fp9f2xQtWR5wfAyOzsz2
TLSHT13B921E73159C4EB09AB160736C063ED99A9A60DF568128B1B21D71BCBF0EE24F2F43D5
insert-timestamp1679422735.8879337
sourceRDS.db
Key Value
FileName./usr/lib/ats2-postiats-0.1.8/prelude/SATS/gprint.sats
FileSize3041
MD5B162499D0590902F39425A31A3CB1C34
SHA-1036F52A4BEF757FE70723BC6447ACCEED9F49553
SHA-2560FD29D72E686DEAA8C154C3806C5321920F87FA494B771BA0BBF9407A5627B4E
SSDEEP48:OB0KSFncxlH855HWRicLM3fYAtmPm0er9r5mPvrgJrbCrjrN79IijOA7vNr:OB0s85Z3pYAtem0er9r5mPvr2rbCrjr7
TLSHT17751DB3237980E252861786B99CE77D17113A20320F12182B01F76B4DF0EBEDB2E11AB
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.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
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





metalookup is a service from miwakeru.com