| Type | DIST |
|---|---|
| File | clingo-5.8.0.tar.gz |
| Size | 1910050 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 5c6a0aa201a0752d1bf1e7c48917afa3e6b17e1309249725622f3946ca86be6875bc7d4d4d0d6ca6ab7f7c5705b76c9d1791e9438f7c89c595199f7b0b9f6ee9 |
| SHA512 | b4560b1f1bd265819895afc08e3935e45b19e436af9da31f9ee10eded784946fc3613a3a8571459f7d7f8250aa3f5b6787bbb16c2e495375536f040a9b925339 |