Result for 1541FC424D57A10E9A872B87AC7DAEBD990EF4B4

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Leibniz.html
FileSize1367
MD5359F4425ECC544C93E9B00771A480B21
SHA-11541FC424D57A10E9A872B87AC7DAEBD990EF4B4
SHA-2564879B72979988EB36FF0EA375BFD5324FA8B968A01DF7BD2395D00A318ECFA68
SSDEEP24:kdlqi9N8E6lKEdE5tFEr5KEFGcEsGpELEGWAEoGjEXGqjEiGG6EaG8X/BqvWS7G3:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHK
TLSHT113216BA8209A9C99F4F585E7E7F03D75BCE74199C9945946B9AC323A01D5F30B338113
hashlookup:parent-total3
hashlookup:trust65

Network graph view

Parents (Total: 3)

The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize315944
MD58599B8C5AE100B5F209FBBE248B9F7D9
PackageDescriptionCoq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibaac-tactics-coq
PackageSectionmath
PackageVersion0.2.pl2-4build1
SHA-1173DCE03E488A3765F3AF519B1F8288F16FEFDAB
SHA-256A480ABD302F96E407659D94A54C33AECD6508715C44356858B2E6949AFEA8237
Key Value
FileSize304850
MD59C351162B617B42B35E6BF6EA7ECC541
PackageDescriptionCoq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibaac-tactics-coq
PackageSectionmath
PackageVersion0.2.pl2-2build1
SHA-1497FA1B770C9E7CADDFA63054C242DF3A2FAFF10
SHA-2562C3E75DFEC2C3707338D4A7BA47A9E8DFE233B4C99672B71F0FC8D156C553104
Key Value
FileSize319622
MD5A3F8856DFD860DB06ABC657D0247D8E3
PackageDescriptionCoq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibaac-tactics-coq
PackageSectionmath
PackageVersion0.2.pl2-7
SHA-1F0A9927A181AF57FC382925DCC4B0D0CFA06EE1D
SHA-256B56B90275EA0C1382A6B31DCFB7FE00CDBDBE6890147CA3BC0330DA73C5D6DB1





metalookup is a service from miwakeru.com