| Key | Value |
|---|---|
| FileSize | 3215788 |
| MD5 | B3BADE372A9799E25DD2AD90136C5159 |
| PackageDescription | Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL). |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | why |
| PackageSection | math |
| PackageVersion | 2.39-2build1 |
| SHA-1 | 28E0B2AD62559BC81E35CF3417F2FEC5201EB260 |
| SHA-256 | F9B3651E20673ED86867FB046F4AE4D14094681A1A0ACE3817E2FD28D298764C |
| hashlookup:children-total | 111 |
| hashlookup:trust | 50 |
The searched file hash includes 111 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| CRC32 | E09FE048 |
| FileName | ./usr/share/why/java_api/java/lang/RuntimeException.java |
| FileSize | 2935 |
| MD5 | E563F56A0438B44393B6230151E417BF |
| OpSystemCode | 362 |
| ProductCode | 6664 |
| RDS:package_id | 119651 |
| SHA-1 | 0096BC1F7331ABD72AE31AFF1F50250B5CBDEE08 |
| SHA-256 | 33D96DEC58FC3CE456CFFE822A08C469AD5D06D9BE08A78CABF072C64669CE45 |
| SSDEEP | 48:n4gk710Zh8QhXP3/aYS/nHtrpHtCVV/vfSYCVV/s:4gSih8afixJpNCXnpCXU |
| SpecialCode | |
| TLSH | T1DC51DE225AC1577221C751F76321E0C2D356A6AF362A2097FCDD863C3F45776533AB82 |
| db | nsrl_legacy |
| insert-timestamp | 1679405929.5525637 |
| nsrl-sha256 | rds241-sha256.zip |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/lang/Class.java |
| FileSize | 89699 |
| MD5 | 7BA3C9675986BCB69D6535C770A899BC |
| SHA-1 | 044B06A6EBD11AAD141A0B997CE3F6F4D955ED10 |
| SHA-256 | FA3D3AE499BD1B215BD479CB8113BB4DE66920D50B9491112071365FC804E065 |
| SSDEEP | 1536:1XkjF3kBvVkF3luCNB223u89JeKPmVprqiSUNiv/kPEK4EtVmqi0Z/iT/JfF:dkjF3IvVkF3luCNEcJXuVprqiSUNiv/X |
| TLSH | T1D3936106A3DA23B2014BC17D9A1A54C4F35ED02B621A5D84BDEE873D6F41F7092736EE |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/io/OutputStreamWriter.java |
| FileSize | 6788 |
| MD5 | A88113BF3213A986940C0A71ECDE78D8 |
| SHA-1 | 08C0FBE1E9E84EEEE2EAA6066F7E1BA758ADDD9A |
| SHA-256 | 298A9439802110FCF83C344D29D5AAE70A61CF3216A3F1345B01CD4D3C208067 |
| SSDEEP | 192:D4tkWOtgjsUj7/t2JWFDeHrMTCVixsPk+hUzjQIXW9FUO9MY9A959D:D4trOCgUj7lMWZi4mfPzezVGLFqzB |
| TLSH | T16DE11F129ED20223129312F49B0BE1D9D6A6B17F32668D8074DEEE343F47B3E5621F65 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/util/HashMap.java |
| FileSize | 34531 |
| MD5 | 49C3F6D77D382684AE0D0E3C28B42423 |
| SHA-1 | 0AA6077C2B0A2BB907068AC9A61306C94A5AF9D8 |
| SHA-256 | 2B5EABD5281C52EB18DCA1BDEF1309E425D4E7ED8297AE7131375EBE4E7703B3 |
| SSDEEP | 384:4uadObj4LA/N0lESchtMDMZTY+m3ndoJLFBqf/h4XOAG/86k3UQ:4ZdOv45lEXtMDysvNSn8ZAG/Ds |
| TLSH | T18FF2844A7FF3933141576178870E91C0E336C07F666A9A90785E4378AF02B7193B6EE6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java |
| FileSize | 64 |
| MD5 | 7C5274AB7C0409764564080E656F84FF |
| SHA-1 | 0CC0A5D242A0743B8C8ED9244EDCD36905C7C49E |
| SHA-256 | 4942D460552F62100F3C962F10805FEAB0462C14E791E9F76DE65C5B04527582 |
| SSDEEP | 3:BrZGHb7v/FpKZAso5n:JZGHXvWZAso5 |
| TLSH | T1C3A0220383AB0820000CC00B80F888A0080C30BCA3C8008CC88C32228F003C0C20320B |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java |
| FileSize | 761 |
| MD5 | 0ACEA1F139DBAE273E4087A39B4B96EF |
| SHA-1 | 0D0E990E1CAD2CF6D2A2C80A7CFE24E835EFD2DE |
| SHA-256 | 03251222CFC3FF3EE326410FAE2A7644DA9E9A19BFF0EE93AF689370B745D600 |
| SSDEEP | 12:JhwmjAL28P03BIGALtaWXHPtwv9n5O++wHS62Y/XSc6:kmjS2s0xlStsO++67NX+ |
| TLSH | T1A301768DDDFB0C009BBEC8AA7FA11580C520A52B52DA9CE4305D8AE40FC43283262CB0 |
| Key | Value |
|---|---|
| CRC32 | 34C94EFC |
| FileName | ./usr/share/why/java_api/java/util/Iterator.java |
| FileSize | 2165 |
| MD5 | 257B67BB689D3F678DBC91C68CFA4A0A |
| OpSystemCode | 362 |
| ProductCode | 6664 |
| RDS:package_id | 31295 |
| SHA-1 | 0D5881AD91C51BB1D6D1D546C96F00237021746F |
| SHA-256 | CF1D5678722139330F7A0A2F691829E7544D92C70381E95B40E6083F9920BDD6 |
| SSDEEP | 48:nZgGQeRhMfYDqWJ64mb6OOwJwuMG/2vAv71TAd3bG/3ss56inZdglJ/S/g:ZgjCOSw4ObO6MGOvAv71TM3bGfs46ing |
| SpecialCode | |
| TLSH | T154412F5939D67722428F23AB820E0BE4E6B18267A16B1044749E8139FF07731A363DF6 |
| db | nsrl_legacy |
| insert-timestamp | 1679405928.8339448 |
| nsrl-sha256 | rds241-sha256.zip |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/javacard_api/javacard/framework/Shareable.java |
| FileSize | 1565 |
| MD5 | ACEDE9F37D42FD2A01BBB02A7FF2A7D1 |
| SHA-1 | 1167124513EB8A542AD5420B027B70A2CA2267C2 |
| SHA-256 | AE64809F1FB0452F000E684E491EFC95692A108BE223EF062D171E1D775DD6E4 |
| SSDEEP | 48:N4zBuKsNhe1i0sxhqZiPkRmeeyV8eOecA:NKBuf1ye8KEB |
| TLSH | T1893198C377253613251FC304A5871DD4BAC9403D39E39DA8A4A1F0951632E9752EEEF3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java |
| FileSize | 3305 |
| MD5 | F67A3F7F260F4CE448C02C109F6441E6 |
| SHA-1 | 1260AE29F342E7554763D09C8DB0607458B16178 |
| SHA-256 | F38BC39990AF85C5B9057DD244F1F0D9B90B82F3C3BAA7B7DBC3B1713F3AE56D |
| SSDEEP | 96:wBuf1yAuoz3J5PK5K1OWLKfQH3eHpZULk1OWW0:wBKHuoz3J5i5K1OjsuHSk1Oc |
| TLSH | T19A61B65BEFE853B3025A80A6800D95C4E65E505C67A3D5853C8E036C0F4EB37D7EB6C9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/jessie.1.gz |
| FileSize | 907 |
| MD5 | ADB923910033B88A77D6C0BAED38AA51 |
| SHA-1 | 13279A91EBC3ACDBE465149CBEBE8F56278F8B3C |
| SHA-256 | 284C7E06F886A98E1E56B2EDF86CC914F7E945F7BAD2D1A8C7B456FEFDD2ADD0 |
| SSDEEP | 24:XLFOrGVbbgzm2b3xQFgHRTouMMJeP0AmTr9rLuatvKJi:XLFOr8fgzDzxYgHRkJkePZmZLuaqi |
| TLSH | T15511B78E4F2D7C50830997B178470D6E04B4ED6CD0A55F48C0B040FE5C5AB24D1DF941 |