Go
Register
|
Log in
Subscribe
agda
dependently typed functional programming language
×
Choose email to subscribe with
general
source:
agda
(
source
,
haskell
)
version:
2.5.2-2
maintainer:
Debian Haskell Group
(
archive
)
[
DMD
]
uploaders:
Iain Lane
[
DMD
]
–
Kiwamu Okabe
[
DMD
]
arch:
all any
std-ver:
4.0.0
VCS:
Git
(
Browse
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
2.3.0.1-2
oldstable:
2.4.0.2-2
stable:
2.5.1.1-3
testing:
2.5.1.1-3
unstable:
2.5.2-2
versioned links
2.3.0.1-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
2.4.0.2-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
2.5.1.1-3:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
2.5.2-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
agda
agda-bin
agda-mode
elpa-agda2-mode
libghc-agda-dev
libghc-agda-doc
action needed
lintian reports
5 warnings
high
Lintian
reports
5 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Fails to build
during reproducibility testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
The package has not entered testing even though the delay is over
normal
The package has not entered
testing
even though the 5-day delay is over.
Check why
.
1 bug
tagged patch in the
BTS
normal
The
BTS
contains
patches fixing 1 bug
, consider including or untagging them.
Multiarch hinter
reports 1 issue(s)
low
There are issues with the
multiarch
metadata for this package.
agda-mode could be marked Multi-Arch: foreign
Build log checks report
1 warning
low
Build log checks
report
1 warning
testing migrations
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
.
excuses
:
Migration status: OK: Will attempt migration (Any information below is purely informational)
38 days old (needed 5 days)
Piuparts tested OK -
https://piuparts.debian.org/sid/source/a/agda.html
Depends: agda
ghc
Depends: agda
haskell-boxes
Depends: agda
haskell-data-hash
Depends: agda
haskell-edison-core
Depends: agda
haskell-edit-distance
Depends: agda
haskell-equivalence
Depends: agda
haskell-geniplate-mirror
Depends: agda
haskell-gitrev
Depends: agda
haskell-hashable
Depends: agda
haskell-hashtables
Depends: agda
haskell-ieee754
Depends: agda
haskell-monadplus
Depends: agda
haskell-mtl
Depends: agda
haskell-murmur-hash
Depends: agda
haskell-parallel
Depends: agda
haskell-regex-tdfa
Depends: agda
haskell-strict
Depends: agda
haskell-text
Depends: agda
haskell-transformers-compat
Depends: agda
haskell-unordered-containers
Depends: agda
haskell-zlib
Valid candidate
news
[rss feed]
[
2017-07-10
]
Accepted agda 2.5.2-2 (source) into unstable
(
Gianfranco Costamagna
)
[
2017-07-06
]
Accepted agda 2.5.2-1 (source) into unstable
(
Gianfranco Costamagna
)
[
2017-06-20
]
Accepted agda 2.5.1.1-4 (source) into unstable
(
Gianfranco Costamagna
)
[
2016-12-03
]
agda 2.5.1.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2016-11-28
]
agda REMOVED from testing
(
Debian testing watch
)
[
2016-10-28
]
Accepted agda 2.5.1.1-3 (source) into unstable
(
Clint Adams
)
[
2016-10-20
]
Accepted agda 2.5.1.1-2 (source) into experimental
(
Clint Adams
)
[
2016-10-16
]
Accepted agda 2.5.1.1-1 (source) into experimental
(
Clint Adams
)
[
2016-07-12
]
agda 2.5.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-20
]
Accepted agda 2.5.1-2 (source amd64 all) into unstable
(
Sean Whitton
)
(signed by:
Joachim Breitner
)
[
2016-06-14
]
Accepted agda 2.5.1-1 (source amd64 all) into unstable, unstable
(
Sean Whitton
)
(signed by:
Joachim Breitner
)
[
2016-01-10
]
agda 2.4.2.5-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-01-04
]
Accepted agda 2.4.2.5-1 (source) into unstable
(
Iain Lane
)
[
2015-12-21
]
agda REMOVED from testing
(
Debian testing watch
)
[
2015-09-11
]
agda 2.4.2.2-4 MIGRATED to testing
(
Britney
)
[
2015-08-04
]
Accepted agda 2.4.2.2-4 (source amd64 all) into unstable
(
Iain Lane
)
[
2015-07-12
]
agda 2.4.2.2-3 MIGRATED to testing
(
Britney
)
[
2015-07-01
]
Accepted agda 2.4.2.2-3 (source amd64 all) into unstable
(
Joachim Breitner
)
[
2015-06-26
]
agda 2.4.2.2-2 MIGRATED to testing
(
Britney
)
[
2015-05-20
]
Accepted agda 2.4.2.2-2 (all amd64 source) into unstable
(
Iain Lane
)
[
2014-08-22
]
agda 2.4.0.2-2 MIGRATED to testing
(
Britney
)
[
2014-08-11
]
Accepted agda 2.4.0.2-2 (source all amd64) into unstable
(
Colin Watson
)
[
2014-08-05
]
Accepted agda 2.4.0.2-1 (source all amd64) into unstable
(
Iain Lane
)
[
2013-11-08
]
agda 2.3.2.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2013-11-06
]
Accepted agda 2.3.2.2-1 (source all amd64)
(
Iain Lane
)
[
2013-10-19
]
Accepted agda 2.3.2.1-2 (source all amd64)
(
Iain Lane
)
[
2013-06-16
]
Accepted agda 2.3.2.1-1 (source all amd64)
(
Iain Lane
)
[
2013-06-12
]
Accepted agda 2.3.2-4 (source all amd64)
(
Iain Lane
)
[
2013-05-29
]
Accepted agda 2.3.2-3 (source all amd64)
(
Joachim Breitner
)
[
2013-05-27
]
Accepted agda 2.3.2-2 (source all amd64)
(
Iain Lane
)
1
2
bugs
[bug history graph]
all:
2
RC:
0
I&N:
0
M&W:
2
F&P:
0
links
homepage
lintian
(
0
,
5
)
buildd:
logs
,
checks
,
clang
,
reproducibility
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
2.5.2-2build1
1 bug
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/agda.png){kind=link}