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.5.4.1-3
maint
Debian Haskell Group
(
a
)
arch
any all
std-ver
4.1.4
VCS
Git
(
browse
)
versions
o-o-stable
2.3.0.1-2
oldstable
2.4.0.2-2
stable
2.5.1.1-3
testing
2.5.4.1-3
unstable
2.5.4.1-3
Ubuntu
2.5.4.1-3
binaries
agda
(
0 bugs
:
0
,
0
,
0
,
0
)
agda-bin
(
2 bugs
:
0
,
1
,
1
,
0
)
agda-mode
(
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 6 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.3.0
instead of
4.1.4
).
A new upstream version is available:
2.5.4.2
, you should consider packaging it.
The
BTS
contains
patches fixing 1 bug
, consider including or untagging it.
This package has "Depends: agda-stdlib-doc" while
agda-stdlib
needs a new maintainer, see
RFA #914691
.
problems
There were override disparities found in suite unstable:
agda-mode: Override says misc - optional, .deb says oldlibs - optional
testing migration
This package will soon be part of the
auto-libffi
transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the
debian-release archives
or in the corresponding
release.debian.org bug
.
news
RSS
[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)
[2016-01-10]
agda 2.4.2.5-1 MIGRATED to testing
(Britney)
[2016-01-04]
Accepted 2.4.2.5-1 in unstable (medium)
(Iain Lane)
[2015-12-21]
agda REMOVED from testing
(Britney)
[2015-09-11]
agda 2.4.2.2-4 MIGRATED to testing
(Britney)
bugs
all
4
RC
0
I&N
2
M&W
2
F&P
0
Ubu
1
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
testing
stable
lintian
(
1
,
6
)
popcon
debtags
screenshots:
1
,
2
,
3
,
4
RDF meta-data
browse source code
patches
Debian
2.4.0.2-2
2.5.1.1-3
2.5.4.1-3
2.5.4.1-3
Debian proposed
1