agda
dependently typed functional programming language
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/agda
general
source
agda
(
source
,
haskell
)
version
2.6.1-1
maint
Debian Haskell Group
(
a
)
arch
any all
std-ver
4.5.0
VCS
Git
(
browse
)
versions
o-o-stable
2.4.0.2-2
oldstable
2.5.1.1-3
stable
2.5.4.1-3
unstable
2.6.1-1
Ubuntu
2.6.1-1build2
binaries
agda
(
0 bugs
:
0
,
0
,
0
,
0
)
agda-bin
(
1 bugs
:
0
,
0
,
1
,
0
)
elpa-agda2-mode
(
0 bugs
:
0
,
0
,
0
,
0
)
libghc-agda-dev
(
0 bugs
:
0
,
0
,
0
,
0
)
libghc-agda-doc
(
0 bugs
:
0
,
0
,
0
,
0
)
todo
Lintian
reports
1 error and 379 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks
report
1 warning
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.5.1
instead of
4.5.0
).
A new upstream version is available:
2.6.1.2
, you should consider packaging it.
The
BTS
contains
patches fixing 1 bug
, consider including or untagging it.
This package has "Depends: agda-stdlib" while
agda-stdlib
needs a new maintainer, see
RFA #914691
.
problems
The package has not yet entered
testing
even though the 5-day delay is over.
Check why
.
There were override disparities found in suite unstable:
agda-mode: Override says misc - optional, .deb says oldlibs - optional
testing migration
excuses
:
Migration status for agda (- to 2.6.1-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
Issues preventing migration:
missing build on
mips64el
missing build on
mipsel
Depends: agda
agda-stdlib
Additional info:
Piuparts tested OK -
https://piuparts.debian.org/sid/source/a/agda.html
171 days old (needed 5 days)
news
RSS
[2020-08-01]
agda REMOVED from testing
(Britney)
[2020-07-29]
Accepted 2.6.1-1 in unstable (medium)
(Debian FTP Masters)
[2019-11-03]
agda 2.6.0.1-1 MIGRATED to testing
(Britney)
[2019-08-31]
Accepted 2.6.0.1-1 in unstable (medium)
(Clint Adams)
[2018-11-29]
agda 2.5.4.1-3 MIGRATED to testing
(Britney)
[2018-11-28]
agda REMOVED from testing
(Britney)
[2018-10-20]
Accepted 2.5.4.1-3 in unstable (medium)
(Ilias Tsitsimpis)
[2018-10-01]
Accepted 2.5.4.1-2 in unstable (medium)
(Ilias Tsitsimpis)
[2018-09-30]
Accepted 2.5.4.1-1 in unstable (medium)
(Ilias Tsitsimpis)
[2018-07-03]
agda 2.5.3-5 MIGRATED to testing
(Britney)
[2018-04-29]
Accepted 2.5.3-5 in unstable (medium)
(Clint Adams)
[2018-04-10]
Accepted 2.5.3-4 in unstable (medium)
(Clint Adams)
[2017-11-22]
agda 2.5.3-3 MIGRATED to testing
(Britney)
[2017-10-14]
Accepted 2.5.3-3 in unstable (medium)
(Joachim Breitner)
[2017-10-14]
Accepted 2.5.3-2 in unstable (medium)
(Joachim Breitner)
[2017-10-13]
Accepted 2.5.3-1 in unstable (medium)
(Sean Whitton)
[2017-09-02]
agda 2.5.2-2 MIGRATED to testing
(Britney)
[2017-07-10]
Accepted 2.5.2-2 in unstable (medium)
(Gianfranco Costamagna)
[2017-07-06]
Accepted 2.5.2-1 in unstable (medium)
(Gianfranco Costamagna)
[2017-06-20]
Accepted 2.5.1.1-4 in unstable (medium)
(Gianfranco Costamagna)
[2016-12-03]
agda 2.5.1.1-3 MIGRATED to testing
(Britney)
[2016-11-28]
agda REMOVED from testing
(Britney)
[2016-11-28]
agda REMOVED from testing
(Britney)
[2016-10-28]
Accepted 2.5.1.1-3 in unstable (medium)
(Clint Adams)
[2016-10-20]
Accepted 2.5.1.1-2 in experimental (medium)
(Clint Adams)
[2016-10-16]
Accepted 2.5.1.1-1 in experimental (medium)
(Clint Adams)
[2016-07-12]
agda 2.5.1-2 MIGRATED to testing
(Britney)
[2016-07-12]
agda 2.5.1-2 MIGRATED to testing
(Britney)
[2016-06-20]
Accepted 2.5.1-2 in unstable (low)
(Sean Whitton)
[2016-06-14]
Accepted 2.5.1-1 in unstable (medium)
(Sean Whitton)
bugs
all
3
RC
0
I&N
1
M&W
2
F&P
0
Ubu
2
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
stable
lintian
(
1
,
379
)
popcon
debtags
screenshots:
1
,
2
,
3
,
4
RDF meta-data
browse source code
patches
Debian
2.5.1.1-3
2.5.4.1-3
2.6.1-1
Debian proposed
1