Key | Value |
---|---|
FileSize | 596752 |
MD5 | 2CC691EBDE76E9981FAD0519EB236CEC |
PackageDescription | Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | why3-coq |
PackageSection | math |
PackageVersion | 1.2.0-1 |
SHA-1 | 9FF5B24D28999C4B0E3ACDB45216F55BFB970B78 |
SHA-256 | 3A7C4C517F70CC2C0F66311E40060D36669E7B80CF4B1186B0C0A696FCAFD295 |
hashlookup:children-total | 58 |
hashlookup:trust | 50 |
The searched file hash includes 58 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/list/Mem.vo |
FileSize | 28880 |
MD5 | A6A99A6BB283A8D4187CF73E2C5291DD |
SHA-1 | 0083AC0DE8829FF0D78679D87EF1540999C0C1A9 |
SHA-256 | 5A7CA530E52F17E5FC8FC70EE3D58186F70E068EE5B7254016B716FFDE5EC958 |
SSDEEP | 768:K/YQlhiOx72G+KUakhbjlQe3eXztf6NBUy0o:KwCDF2GRUhh1GhSNOy0o |
TLSH | T147D2C506D111CBA555B2CE345A3860C0A4468E83E3592B6C1534066EFFFFEDB3DB169B |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/int/MinMax.vo |
FileSize | 30056 |
MD5 | 5270D88074D0D222A93DBA53FA07FFE2 |
SHA-1 | 054236EDDB2D5C48F4409A358B49FE3302D77FE2 |
SHA-256 | 357F0B46815EF5D20C91F6F71357F1A79E356954B0CFB3A91546C49411EB8CCE |
SSDEEP | 768:4/YQlhiOxucRWKUakhbjlQMVYXztJ6NBlp+X6:4wCDV5Uhh1OhsNnpV |
TLSH | T1CED2D602D111D7A115B5CE346A3860C4A4468F83E399276C2534467EFBFFADB3DB069B |
Key | Value |
---|---|
FileName | version.txt |
FileSize | 6 |
MD5 | AB43A3B234B48780F27BCA6447518154 |
RDS:package_id | 291900 |
SHA-1 | 06CC8F4F061817FB0FB7CBB4324B7EAEFC339D9B |
SHA-256 | F289547E955E7456D817B8D973282D0D213940DEB8B2D847764E9724C9AFBC37 |
SSDEEP | 3:SLF:SLF |
TLSH | |
insert-timestamp | 1680011165.7102096 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/int/Abs.vo |
FileSize | 34816 |
MD5 | 6D2AC4A0E3880BEE8AEE1482222A6D8A |
SHA-1 | 06FBC42E7D6592C5DC51D21DC24FDCE0FFE6E3D7 |
SHA-256 | 91BAB2709F717C2D01BFAFD31529A19D756105C4093EB8493EF54D8C75D17B81 |
SSDEEP | 768:S/YQlhiOxY5yKUakhbjlQFVFXztY6NBm99DaZaH0bBtBk:SwCDaUhh1ohnN84lbBtC |
TLSH | T18CF2C702D119DBB114BACA74EA3820C4A4464E47A36A572C1934067DFBEFADF3DF464B |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/int/Power.vo |
FileSize | 37507 |
MD5 | F8D7BD1EDFA94D180E55935FF8A80A39 |
SHA-1 | 1671CAA40FB573094D7E391C08488EDEC93B968F |
SHA-256 | 75EAB7502422DEBA23638D5DDE8DFFD04189A2B954DC42218483E4A7F538A088 |
SSDEEP | 768:U/YQlhiOxjVMKUakhbjlQsyiXztl6NBVGN0HZHK/:UwCDDUhh1FhQNPGN0Y |
TLSH | T14DF2F802E412CBE514F9CF74AA3860C494454E4BA3AA576C1930057DFBEFADB3DB825B |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/number/Prime.vo |
FileSize | 51394 |
MD5 | 92E492A8D340ACB5CA88CBB9CC0FCA8D |
SHA-1 | 169C07BB4994F9FD99B4677B71B9B65E52AC3C56 |
SHA-256 | 18885FF0B5B0F2BC275DC602EA9B2F95F6A1B93506B37F481DFF6D3124F2D5B2 |
SSDEEP | 768:U/YQlhiOxwQoNfvfCGhTZk85tKcZKzMxxEKsXWEb6mYojhNGv+l5:UwCDO62k+pjxxdvEb6m/jzu+D |
TLSH | T102332946D011DBF115BECA70E9349080A4124E8B937A17AC5934423EFFEF9DB2EB9947 |
Key | Value |
---|---|
FileName | ./usr/share/doc/why3/changelog.Debian.gz |
FileSize | 3150 |
MD5 | 7722920CE38B2CDD11EDD462BC8DCB58 |
SHA-1 | 188871DE48ED8E6735992BB0550B8D5CDF1956F6 |
SHA-256 | BB551C941965F1F860D8D2E975108FA5EE612B1527F2D755E6DE8FE7BB6DB0E9 |
SSDEEP | 96:rEWTxUanx/tvtpbpyYhtY6UczZHh2FUk5f:wWTaanZtpyGY6UCM5h |
TLSH | T1CB514D6440CC5DAA7104CDD6EABAD8BC91746F163915E06C3FB5C8D4A65BF992000DB4 |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/int/Div2.vo |
FileSize | 32299 |
MD5 | 271DADB99791969693830FCBBCE018B8 |
SHA-1 | 1A03BD2657ED3EB6A17FC7B8FF9E0C2F67C622AB |
SHA-256 | C95915DE048AF94780CB816089CE962A89886924BA202D2C3A434D04CEAC4D4A |
SSDEEP | 768:m/YQlhiOxrc6KUakhbjlQHihXztm6NBujjOk:mwCD1wUhh1jhtNiyk |
TLSH | T1B3E2E502D025DBB115BACE749A3860C0A4464E4BA39D176C1534066EFBEFADF3DF069B |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/real/Abs.vo |
FileSize | 36039 |
MD5 | E1CDDC3B5401873042DD4CC9AB01716C |
SHA-1 | 1AE6A3A7679903022B32B9F4CEB1A83034016392 |
SHA-256 | C539BD82BD13692FCD199AEE280CCD10940ADF017F3E0637D068EF129307957B |
SSDEEP | 768:J/YQlhiOxOvfCGhTZk85tkO0KzMu6NEt2pl8q:JwCDO62k+yjVNtX8q |
TLSH | T173F2D602D411CBE115B6CD34693850D0A8468F87E3995B6C6134066EFBFFADB2EF1687 |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/why3/coq/list/Reverse.vo |
FileSize | 33264 |
MD5 | D2951E44A882F73CE3BAF195DB529FE0 |
SHA-1 | 1C5EB8A402CA7DC3F0155B9153E6BC813EB3C74C |
SHA-256 | 4A646CFC569BD980B68A144921ACC5948D3F7C6DF18158348A55144D10550C55 |
SSDEEP | 768:L/YQlhiOxNLPX1GKUakhbjlQIfXXzt96NBe8LbQk5O:LwCDXLPX1JUhh1phINVLbQkw |
TLSH | T193E2D702E121C7A125B6CE345A3860C0A4568F87E3595B6C1530066EFBEFFDB3DB469B |