Result for 337EF9DAA6FF416519AFE02593A0D15CF2EE5E44

Query result

Key Value
MD5B90171DAAE43D2B4191F844C06A5A0E8
PackageArchaarch64
PackageDescriptionTranslate from Linear temporal logic (LTL) formulas to Buchi automata. LTL is a type of formal logic that extends formal logic with qualifiers involving time. A Buchi automaton is the extension of a finite state automaton to infinite inputs, and are useful for specifying behavior of non-terminating systems (such as hardware or operating systems). A Buchi automaton accepts an infinite input sequence if and only if there exists a run of the automaton which visits at least one of the final states infinitely often. The implementation is based on the translation algorithm by Gastin and Oddoux, presented at the CAV Conference, held in 2001, Paris, France 2001.
PackageMaintainerFedora Project
PackageNameltl2ba
PackageRelease3.fc34
PackageVersion1.3
SHA-1337EF9DAA6FF416519AFE02593A0D15CF2EE5E44
SHA-2562ED97428495BA3C3BAF8931798B4681EC2047CA300B04CEF9E6460E587A78D87
hashlookup:children-total5
hashlookup:trust50

Network graph view

Children (Total: 5)

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

Key Value
FileName./usr/share/doc/ltl2ba/README
FileSize5008
MD5563A65E98698E9154D4E372C63567733
SHA-1B18CBC3DF73C0594309C368D4F44F480F50AE344
SHA-25690363C76F5CD72BE2E3CC36E1A8E48CEF38C85EDFC53111791B59AD8585159CE
SSDEEP96:uhCwChCxV/Vx8oBmmxccQUhU2bvMfuL1T/A5UhhNX1:ulV/V+B4ccQUHbkKLdhhj
TLSHT1DBA1C4972044633126414393089F52DAFB3E6FDCB39A5890386D93CE7707EB167766E8
Key Value
FileName./usr/bin/ltl2ba
FileSize70256
MD5CB463197FC592BDB180A2AC2844BB431
SHA-19DF9759A5386D7A53C8F7F6E5DFBB8ADAE414BFA
SHA-256A449DFD20018095ED12BF9D6790F9CFA7D2BF8704C0B180B0D9CF4312DFB05EC
SSDEEP1536:DBYPe0qAe6tnwxxqj73ffw+7bt5MGrowPy9GcNnW8Ebru2w:TJR27ffw+ndYhEHl
TLSHT1FC635DDD7F0F7596E3C99238EB48868A7333745DE03681633045434DA6C6AABCBB19C6
Key Value
CRC324E46F4A1
FileNameusr/share/doc/vifm/COPYING
FileSize18092
KnownMaliciousmalshare.com
MD5B234EE4D69F5FCE4486A80FDAF4A4263
OpSystemCode362
ProductCode15109
RDS:package_id318968
SHA-14CC77B90AF91E615A64AE04893FDFFA7939DB84C
SHA-2568177F97513213526DF2CF6184D8FF986C675AFB514D4E68A404010521B880643
SHA-512AEE80B1F9F7F4A8A00DCF6E6CE6C41988DCAEDC4DE19D9D04460CBFB05D99829FFE8F9D038468EABBFBA4D65B38E8DBEF5ECF5EB8A1B891D9839CDA6C48EE957
SSDEEP384:ghUwi5rpL676yV12rPd34ZomzM2FR+dWF7jUI:gmFWixMFzMdm7jUI
SpecialCode
TLSHT13A82A42E770443F205C202A16A4F68DFA32AD5B9723E1155386DC15E236FE35C3BFA99
dbnsrl_legacy
insert-timestamp1735817250.2027707
mimetypetext/plain
nsrl-sha256rds241-sha256.zip
sourcesnap:OtzMxnIemajqYJlxNY3Ed4r6TROQn7lo_813
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/man/man1/ltl2ba.1.gz
FileSize447
MD50F671AEB4E83DCA244FAA026510C8C99
SHA-19BB382D2841F161BC4E768784A83B73B47DBE7AA
SHA-256E640E08FD3AA9208A5DA6E28948A90BC4B3E630D1D4D42F4D87F384155EF0136
SSDEEP12:XkiijZwWUsxBu4YJuISF1YrihQPMrpstcc:XCVw8U3DoYrQQPMrpstF
TLSHT117F0234611303EC99C96A6734148B51E58278A241375EAB944130083707C23AC695254
Key Value
FileName./usr/lib/.build-id/64/32b5d2854c765cbdd196f9a253b01b3ead2c8a
FileSize26
MD5B7FA191BD6460E73D1602774B7B049B3
SHA-1E26B8091AD81784EF5823C5B4CA8363F3311C138
SHA-256B54AED7C9EC0DF901E31A523B07B09C7D055C4E7B235096F0A2E0A2B3F97C398
SSDEEP3:gCDN2a:Xd
TLSH