Result for 31356DB343479358EED0796B898314E01C2EFEEB

Search result
Graph view
Children (411)

Query result

Key Value
FileSize668956
MD57138E221746E083D2B34694A02B877A5
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-131356DB343479358EED0796B898314E01C2EFEEB
SHA-2563AE50F67A7D7A4A2D548B500779A0D4B3006939375020081C8521B1F302F83EF
hashlookup:children-total411
hashlookup:trust50

Network graph view

Children (Total: 411)

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

Key Value
FileName./usr/lib/ats2-postiats-0.2.9/prelude/CATS/integer_ptr.cats
FileSize9781
MD5251F08BF5D17C89B39A6C8DA555CD2DE
RDS:package_id182052
SHA-100A538E8BA0827E4C98CA0CC76D3408E9FEEAF20
SHA-256A8AB5716F6F56FEDCB59C53453C728CB3B96EDDA63A66C0BEBD069E09D292ACC
SSDEEP192:lxl9SbwgOrKs0WKNy7J19qHyAkOThodEKda4oc/lrN64aYnYvMu0TDn3w4IamZGU:rSbd
TLSHT19412E2AB15918C145D92279E180DA2E1F19FE5710AE80B84F80C3AF8FF6DD787C79A43
insert-timestamp1679422736.657749
sourceRDS.db
Key Value
FileName./usr/lib/emacsen-common/packages/install/ats2-lang
FileSize951
MD5F3C9E68BD919738815BB5355FDFBAF4B
RDS:package_id182052
SHA-10105609397D9C7C02AE4A13711A8D68C745D559D
SHA-256A25962110C21A1677D253EDDD62F34C9974F940655E91CD734EA26230601202D
SSDEEP24:LrSy57AzgtHZKAj93P41UMubW80GkBY0RZATzac1sZ:LrSR4gAJUsiV1RZKOj
TLSHT19911D46ED8DDA03B460D37F6230D30D67B85CCC68629990C80798248E39653833EF457
insert-timestamp1679422736.8675706
sourceRDS.db
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/bin/patsopt
FileSize666
MD5FDE63F231B637AAD3CFBA79AF38A198A
RDS:package_id182052
SHA-102C2869A7618EBE3F28BD62C67947AC7BF7AA5CD
SHA-256D97339F2F4B32FD74A41D5C5285643DAA876899C5DFDA2CFC3586C69C2AA32FF
SSDEEP12:derVule5n/SQeU304LCTiJ9yq30tA2KjwXfmYqpj6vm3WNNRVcXIaxYwVOysBwv:nO/SQeU30G+iWq30tASvu6YbI+VOlBa
TLSHT1290123B6554615BB451F0DE30349709AB74431EB10A3EC7578CA1F506EB2FE834E3D42
insert-timestamp1679422735.383991
sourceRDS.db
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/prelude/CATS/float.cats
FileSize16104
MD5AC0803AD81B5790CDD3B16D95CE32125
RDS:package_id182052
SHA-10463BDDED01498CD7D5D7C5F26E97B8A269576F4
SHA-256F5EE1EC17F7066AD90A1C8B72DD2C1D826DC4DBD410616A8BEDDD872E9E009E3
SSDEEP192:lxl9SABMLCq2exrrrU66269DRQkjssrCGpUMQKpdhCzD5HyDu:rSA6xrrrURVMsrMHyC
TLSHT10272F6AE2142BC4B9E4136DA2D4968C7E05DC695579CDF88E00C6239FB6C6787038FE7
insert-timestamp1679422736.6735308
sourceRDS.db
Key Value
FileName./usr/lib/ats2-postiats-0.2.9/prelude/SATS/list_vt.sats
FileSize11777
MD5FD02203ED42519D1E6BB8F5AEB72BE9A
RDS:package_id182052
SHA-10473FBCF0E46FD316AC9089A0DB71343AADC5C3B
SHA-256BF7CB6345AFFD53D1B9BAD08176A827236DB422F0CE340E77A51BAE79B2BAC71
SSDEEP192:FSs7ZlxvOUzzcp5S8FZykxiWB47mR4ojL8wP:FSs4oOZykxclaP
TLSHT1B4327438C9AD8D1AAAF124270904A5DF7273E50190929DCFF1CEB3F9A74CE54E7E0925
insert-timestamp1679422736.7778254
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





metalookup is a service from miwakeru.com