agda-bin ↔ hdav

Version of agda-bin: 2.8.0-2+b2

Architecture of agda-bin: amd64

Version of hdav: 1.3.4-5+b3

Architecture of hdav: amd64

agda-binhdav
sizefilenamehash functionsfilename
30 B./usr/share/lintian/overrides/agda-binsha512./usr/share/lintian/overrides/hdav

Details about this service