Version of hol-light: 20231021-1+b2
Architecture of hol-light: amd64
Version of golang-github-a8m-tree-dev: 0.0~git20230208.36ae24d-1
Architecture of golang-github-a8m-tree-dev: all
| hol-light | golang-github-a8m-tree-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |