liece-dcc <-> hol-light

Version of liece-dcc: 2.0+0.20030527cvs-12+b1

Architecture of liece-dcc: amd64

Version of hol-light: 20190729-4+b3

Architecture of hol-light: amd64

liece-dcchol-light
sizefilenamehash functionsfilename
20 B./usr/share/doc/liece-dcc/changelog.gz gzip_sha512, gzip_sha512 -> sha512./usr/share/hol-light/ocamlinit-stamp

Details about this service