| Type | DIST |
|---|---|
| File | gappalib-coq-1.5.2.tar.gz |
| Size | 115236 bytes |
| Type | Value |
|---|---|
| BLAKE2B | a2515d488e229cfe8dd44ac3508af9b8e0ad96dda7cb4ffdbea7f4d75e97a3263c29a043b6484351df995129c77af9af11d3c226dd4f63630816f50a9a50639a |
| SHA512 | 4b3d8dcb5d97a5fb9fad9d9997eb1f19a62262ea930e157e10dd06ef7f99cc45a25a024f03ce984ebd0d142edd62dbbdbd832a4da41ea5eb8ea3287c7109dda2 |