This package may currently be unbuildable on the following architectures:
- amd64
- arm64
Filename | Size | Checksum (SHA256) |
---|---|---|
coq-hierarchy-builder_1.7.0-1.dsc | 2.2 kB | e3ede31390305611739e3809a08d91c73b3269e0ff515c3fc8925fdb6913c3bf |
coq-hierarchy-builder_1.7.0.orig.tar.gz | 206.7 kB | c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 |
coq-hierarchy-builder_1.7.0-1.debian.tar.xz | 2.8 kB | 67c6d596af8e7b0623b84450bc5bc09e7492e63bbbc407029c2b67f56d340757 |