Result for 0B83AEB6C91BCED15332B14698748809F7423CAA

Search result
Graph view
Children (387)

Query result

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

Network graph view

Children (Total: 387)

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

Key Value
FileName./usr/lib/ats2-postiats-0.2.1/prelude/SATS/filebas.sats
FileSize7200
MD5CD2BA757D773B1575D21962603E3653A
SHA-101017BC4C238876EF870CE2BEE56E11995B1D9E6
SHA-2562174C99F3637A4B8EF3067EC0336399FF12BBBDD079D8539080AD80D1FC94236
SSDEEP96:OB0s85ZtIAlCjvnLLPa1V4gXJpxi19by6XBZfe9+ouRmQLXnFwTOO+:FsUIAA/LLyHLXHerHo6zXH
TLSHT1C4E11F3D08910D331AB5E5A3AB8666D634A1CA6D1085E4D3FA8C71F0F71DB0CD5D3AEA
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.6/prelude/SATS/option.sats
FileSize3465
MD5E13C3CBB94DC91FF15506FC629A8FE9F
SHA-101F08EA0095D0F9F5D85B0482D9C88B478200513
SHA-256855319568CD8A52C0382DB1F6B59C302C7911838812F141011CDEB38530CE008
SSDEEP48:OB0KSFncxlH855HWSmGb98obhFf0JnjBka6KaoFvOKOJ8orswG:OB0s85Z2GbKpn6OvOKOJ8NwG
TLSHT1EB61D23556440D7905F335E35D8692D67A36A34A3199A0A3B40DF3F0F70DB61E2E71D8
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.2.6/prelude/DATS/SHARE/array_quicksort.dats
FileSize6616
MD536F8D91341B242BAD28E661CE8779A8D
SHA-103804C7CB5EF29360A4661E6EA6EA848E4AB63D0
SHA-256BA369DD09953EAC7B6022E5C0A30C631D1362F3AF8D3F5A2F684A424F7AF7079
SSDEEP96:OB0s85Z7K0DqpGy8lJaK1OPx9+TMu9kCL7Hp64m69N8aM2OB1Co5id:FszqVLzlbETY
TLSHT1CED101671BD10EA0D9E4D1E3580551FAB7AAA2061056298AFC7EB2703F0DF50F2725F7
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





metalookup is a service from miwakeru.com