Result for 07F610AC892CB1EF35BE7F9957E1EB3E7813286B

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Relation.html
FileSize1938
MD5D32B73B748DA4AFDB968C91577E330CE
SHA-107F610AC892CB1EF35BE7F9957E1EB3E7813286B
SHA-2564E5653E9217A299EAA9D7EC42A260803D66099A02C0A4282B72C61310FB8BF39
SSDEEP48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEa4nUQzwNQsX75sRr5:d28E9EdEZEUELEPEzEVEzEiqEbnVwNQF
TLSHT15B418FD020F66896D4F285D3F2D036B77DF251D8D888925ABAEC323902D9E31B335013
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