debile

agda/2.4.2.5-1 lintian [amd64]

ID
329284
Job
lintian [amd64]
Group
Suite
staging
Component
main
Check
lintian
Architecture
amd64
Builder
Assigned
8 months ago
Finished
8 months ago
Build time
0h 00m 21s
Status
✗ Errors found

Result 513057

Uploaded
8 months ago