- Julien Puydt <jpuydt [꩜] debian.org>
Filename | Size | Checksum (SHA256) |
---|---|---|
dh-coq_0.14.dsc | 1.7 kB | 58f2a5bedb398d3ba5d26bd6c13bde07584b32b7fce65ea658fbb5286025d58e |
dh-coq_0.14.tar.xz | 10.6 kB | 2cc0f29ab29af74a0cc985bf9c3598343b0ccc1051ae72b30e7978ea5e67eb3b |