agda/2.4.2.5-1 lintian [amd64]

ID

329284

Source

Binary

agda/2.4.2.5-1

Job

lintian [amd64]

Group

Suite

staging

Component

main

Check

lintian

Architecture

amd64

Builder

Assigned

11 months ago

Finished

11 months ago

Build time

0h 00m 21s

Status

✗ Errors found

Result 513057

Uploaded

11 months ago

Job dud

agda_2.4.2.5-1_amd64.329284.dud

Job Log

agda_2.4.2.5-1_amd64.329284.log

Firehose Report

agda_2.4.2.5-1_amd64.329284.firehose.xml

Sitemap

Debian links

Help

documentation

Source Code