debile
0/6
Remain

agda/2.4.2.5-1

ID
75932
Name
agda
Version
2.4.2.5-1
Group
Suite
staging
Component
main
Architectures
all amd64 i386
Arch affinity
amd64
Uploaded
1 year, 8 months ago

(Co-)Maintainers

Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Iain Lane <laney@debian.org>
Kiwamu Okabe <kiwamu@debian.or.jp>

Jobs

Source Job Group
Suite
Builder Status
agda/​2.4.2.5-1 lintian [source] default
staging
argon ✓ No errors found
agda/​2.4.2.5-1 build [amd64] default
staging
neon ✓ Uploaded
agda/​2.4.2.5-1 build [i386] default
staging
neon ✓ Uploaded
agda/​2.4.2.5-1 lintian [all] default
staging
neon ✓ No errors found
agda/​2.4.2.5-1 lintian [amd64] default
staging
neon ✗ Errors found
agda/​2.4.2.5-1 lintian [i386] default
staging
helium ✗ Errors found

Sitemap

Debian links