Key | Value |
---|---|
FileSize | 435600 |
MD5 | 9333E7C911304E2DD7BE63D8192283ED |
PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
PackageName | gappa |
PackageSection | math |
PackageVersion | 1.4.1-1 |
SHA-1 | AE656D5F9FDC5A04EED7F66DE8B9A95AE0B4E79D |
SHA-256 | 5B1D657C9ADCD54011416FA529E433B3A0790911443CDE7A5D90D32A762F5EDC |
hashlookup:children-total | 42 |
hashlookup:trust | 50 |
The searched file hash includes 42 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/copyright |
FileSize | 23381 |
MD5 | EB53C67F2D814E5BDBB78CC549F5D7FB |
SHA-1 | 11EF8E3F1367EDA5AEEA7C21183FA47B54514451 |
SHA-256 | D554BFDEA426818F37145A4283AE0BCFED919B5F2F39B9DF752726F7958A1DE0 |
SSDEEP | 384:OwsPVZ/JLj37f9JNsnwOwtnczQej/wCRPzJfNweCUtjtP/frxKfREOAlTXg2d:OFPVZ/h37f9JNwwtncRHSenYfRFqTg2d |
TLSH | T1D7A2752B774013734A9623E6BA8F65D6D32AD97D72BA4390605DC02C3716C3883F7AD9 |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/_sources/invoking.rst.txt |
FileSize | 8104 |
MD5 | A9C1F7D80E02B3497B8EAC38AB16994C |
SHA-1 | 13537D01130E56BCA8249AFCD4A68518CF3BC80B |
SHA-256 | E068F51FC540C1858E15DF4D6866DD98AADF54F3EA63F6F63408B02E6D3C3209 |
SSDEEP | 96:LUe+LPnw3ZSGDt46dP2sXbAW0b5A8+m1qQhhhQ55vgXx1t54y4qY1HIbw5lyrDbE:Qe+LaUgdZ0SF5QxJ4z2QlsE |
TLSH | T12EF1842D7E4A733905E740B6191952D3E36C896E523625A1B45C83AC3F36460F2FFBE8 |
Key | Value |
---|---|
FileName | ./usr/share/doc-base/gappa.gappa |
FileSize | 221 |
MD5 | A1FE8870362500FFA55560344E8A9D86 |
SHA-1 | 16F9B18C87421503AC54238CFFC1329F8318278E |
SHA-256 | AB90A13DA274B14A9236C052034A68618EFAD443F78F0AD1566BB4C4DF7C9E5F |
SSDEEP | 3:3Q/6vxZY8lpRB6Sf78YpwJfSzAJopXkHoF4/uzlWGva1uWuAd54RWtKava1uWuh:xZpp7782mIPF4/uzli1uiqWw1up |
TLSH | T199D0A754E0B071B8B8030ADD63E62A075E161470A8155172C01D812C519656D110F215 |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/objects.inv |
FileSize | 797 |
MD5 | 23D0E54DCB5F48A65C7FCE65DB9405D2 |
SHA-1 | 2757B533F3E2845D4B78ABD569C0B247999D3937 |
SHA-256 | EB745E82C981E7812B8650CF2AF72C6766096A8C8D63C0BC729F9381B073F44A |
SSDEEP | 12:gf5O/skAa75QE0eui70G6EMxzK6H9M6bOwS7lfKUsJfqWxl5wdLXghzQaytn:u5MFAaKV40G6LfdlOfhfKlJ1l5wdkiaA |
TLSH | T1BB017A4F1B464155D055CF27337B966F7F3149594C3703CD05D5744CBE544350EE0588 |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/_static/pygments.css |
FileSize | 5249 |
MD5 | D72EA0E58F38A4AEBDA57142A87E79BE |
SHA-1 | 279AEF54A42B4CF2DF738EF73E1F34877F549A9B |
SHA-256 | 8E0F0718D231994572A476AAC9828C7208632904AD4078E827CBBC536850B154 |
SSDEEP | 96:mklxV5JV4Vd1VDVgVD7VkhlEPPiZzpGVu1Lgb:5xZ+VZGh7efCEtgb |
TLSH | T16EB136C193505693D83FC62B7917F05D6F0EB8C870809BD8A89D9389B34CC12A57B9F5 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/_static/documentation_options.js |
FileSize | 417 |
MD5 | 7F0411B127FC352EBC613311E6329E14 |
RDS:package_id | 293685 |
SHA-1 | 34474460EF56432536B2914A8A5CABABB6FBDA8D |
SHA-256 | 73E706D3B0A9FFAF44F03092C059B9A626F31ADACB297335978783D0137F44CB |
SHA-512 | 1FC02C4EFE67049DED626168ABD0E6BE6B15B523EC5978384E9E476901B073B4FBCAB3D7E2D68437AE1482090E38E265BADC633CC06C7CD32EEF4025E50EC1D8 |
SSDEEP | 12:1yDRRZxbukfxYII+np/U7/J4VsU+8Ho0/:ERRf/fxZ1np/k/J4VZDHZ |
TLSH | T181E068F6347559BA18E63E70B94DD0823920C8231C0A32A2700E14062FBDF4E1239BEA |
insert-timestamp | 1678964316.245066 |
mimetype | text/plain |
source | RDS.db |
Key | Value |
---|---|
CRC32 | 5A25D2D1 |
FileName | ./usr/share/doc/pyzfs-doc/html/_static/plus.png |
FileSize | 90 |
MD5 | 0D7849FD4D4148B7F78CAB60A087633A |
OpSystemCode | 362 |
ProductCode | 239659 |
RDS:package_id | 310764 |
SHA-1 | 365ABE63DE063EF2D97D3CAACC43512415B5A835 |
SHA-256 | 54115199B96A130CBA02147C47C0DEB43DCC9B9F08B5162BBA8642B34980AC63 |
SHA-512 | 5A34F6B12A015E45E5E3F785D42CF75BD6CB2850C3D0BD85FC59D8EDBAB0A6543A9BBDC0A8A29A7F30BAF96B7780D0F87247B90B9597ED0FD265A8E50612AC4C |
SSDEEP | 3:yionv//thPl6Cpuy+w56xiH1p:6v/lhP8CMylPp |
SpecialCode | |
TLSH | T170B012D1B1825C39E33ECE7791155958D931852A0189001844004A2D10514064B615C7 |
db | nsrl_android |
insert-timestamp | 1728992579.2981102 |
mimetype | image/png |
source | snap:N9LPu8WJfxYzYd13lzWZfFbEwH48wZIO_106 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/bibliography.html |
FileSize | 10407 |
MD5 | DC9677798BDE02311A0AB3E2A1A7BFE8 |
SHA-1 | 3AF086733FFD252F1F986FA7F92A533E9D1ECF60 |
SHA-256 | 03A475055ED6E6201229285A8C9F6F2F90045863BDD4589EBC2F0CD0A113C611 |
SSDEEP | 96:0BDmSHxDaBHruplBnllfubcHoKvidkv5cCuDktW1qG79TDv/sMf507UZ/k5SnD+d:sRIylBLokcSbuh7VDv/rx071SDZCrT7 |
TLSH | T15822B736E584663F034356D57A963319D9E7885BD2121D05B0FC8AAA1B52FB0EF3B30E |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/tools.html |
FileSize | 25989 |
MD5 | E2ACA2A419D0A4CE01E671EB3B09C000 |
SHA-1 | 3B68D570AF985E45AE82F3C0DE2327058A0D0482 |
SHA-256 | FDC116B8DE2C5EE7BDC82F1DDD57A73B8B7DB014582AC48A0217A73ADA7C136B |
SSDEEP | 384:AN0X0f8fbBUTuTFI0LbjlalP18DgBttw9t7WFGCFID:ANsZfbBUTuTBbjyNKgH29tKGCFID |
TLSH | T1E8C200E5E2F78133003785D766EE0B31B5E6886DE9960001A2FDA3BC07EDC94791796E |
Key | Value |
---|---|
FileName | ./usr/share/doc/gappa/html/_static/basic.css |
FileSize | 14691 |
MD5 | 094EB48CC6B3EC47D2102BBEF2426173 |
SHA-1 | 3C9865F2B06402D72096226B7DF937714662388B |
SHA-256 | 9755A6EBE27F597DB071E7EE203027AF103A4F20BC78FA5DF77EAD25D15DF9E8 |
SSDEEP | 384:Nd4okIES4yJkf+9D4FA4rkQS7oFWZ4K5QzhiNJciFQ2gfK1el7to:NZB4FAkQo0Z4K40hFQtK1R |
TLSH | T1CA6242188EF31C11A64BC567BAFAE621F25D40834E5EC8797E486348CF4579482AFF4C |