Result for 0261185955073FBA120E9512B67685E5439D36AE

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Stubs.html
FileSize2347
MD54231DD54CDD104D37873D4A149AF20DA
SHA-10261185955073FBA120E9512B67685E5439D36AE
SHA-2563C44A9B7544BB89D4F0186C0512208E4B025A5ED999CB1CD1A1A02FAA3622B6C
SSDEEP48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEalnsxCsKCseCs7CswYCsCsrUsLR:d28E9EdEZEUELEPEzEVEzEiqEmn9gCZo
TLSHT1FF417B9020A66856C8B384D3F2D026F7BDF121D9D994869DBAFC323912EDE357335013
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