| Type | DIST |
|---|---|
| File | frama-c-25.0-Manganese.tar.gz |
| Size | 7670862 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef |
| SHA512 | 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f |