gitit <-> agda-bin

Version of gitit: 0.15.1.2+dfsg-1+b6

Architecture of gitit: amd64

Version of agda-bin: 2.6.4.3-1+b2

Architecture of agda-bin: amd64

gititagda-bin
sizefilenamehash functionsfilename
30 B./usr/share/lintian/overrides/gitit sha512./usr/share/lintian/overrides/agda-bin

Details about this service