Result for 191D9D1D0E8BBA00F4454E1C13B295F8875645A9

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/libaac-tactics-coq/api/index_modules.html
FileSize5610
MD58023CB43E5820F91404F63CB3AB37136
SHA-1191D9D1D0E8BBA00F4454E1C13B295F8875645A9
SHA-2565CBC563538EEBA5483B7EA3D6999833266E3530486B7134C9208FC3124A085E4
SSDEEP96:D28E9EdEZEUELEPEzEVEzEiqEcvNkSxUkwCUiTuhczQ5MQ/4MKMgM/M0YqcMhhgr:cGmy5YsgegiLcvGShyxl2WlbUw3Y3tT5
TLSHT137C15DD110C426BEA1F6220A95E53DDDA0F385F0CAE97441B65BBC6BDE877B0D221353
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