meson <-> hol-light

Version of meson: 1.4.0-1

Architecture of meson: all

Version of hol-light: 20231021-1+b2

Architecture of hol-light: amd64

mesonhol-light
sizefilenamehash functionsfilename

Details about this service