- Julien Puydt <jpuydt [꩜] debian.org>
Filename | Size | Checksum (SHA256) |
---|---|---|
coq-corn_8.20.0-1.dsc | 2.1 kB | 5fbae7cb1aef36236759ff3dba324e8b4382df67d50b508ab2d80ab293f62b54 |
coq-corn_8.20.0.orig.tar.gz | 1.3 MB | 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 |
coq-corn_8.20.0-1.debian.tar.xz | 4.3 kB | 9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754 |