Register
|
Log in
News for package
agda
[
2012-06-14
]
agda 2.3.0.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-05-26
]
Accepted agda 2.3.0.1-2 (source all amd64)
(
Joachim Breitner
)
[
2012-03-12
]
Accepted agda 2.3.0.1-1 (source all amd64)
(
Joachim Breitner
)
[
2011-12-23
]
agda 2.3.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-11-23
]
Accepted agda 2.3.0-1 (source all amd64)
(
Iain Lane
)
[
2011-09-14
]
agda 2.2.10-4 MIGRATED to testing
(
Debian testing watch
)
[
2011-09-03
]
Accepted agda 2.2.10-4 (source all amd64)
(
Iain Lane
)
[
2011-08-10
]
agda 2.2.10-3 MIGRATED to testing
(
Debian testing watch
)
[
2011-06-17
]
Accepted agda 2.2.10-3 (source all amd64)
(
Joachim Breitner
)
[
2011-06-10
]
agda 2.2.10-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-06-08
]
Accepted agda 2.2.10-2 (source all amd64)
(
Joachim Breitner
)
[
2011-05-20
]
Accepted agda 2.2.10-1 (source all amd64)
(
Iain Lane
)
(signed by:
Marco Túlio Gontijo e Silva
)
[
2010-12-15
]
Accepted agda 2.2.8-1 (source all amd64)
(
Iain Lane
)
(signed by:
Giovanni Mascellani
)
[
2010-05-27
]
agda 2.2.6-7 MIGRATED to testing
(
Debian testing watch
)
[
2010-05-06
]
Accepted agda 2.2.6-7 (source all amd64)
(
Marco Túlio Gontijo e Silva
)
[
2010-04-27
]
agda 2.2.6-6 MIGRATED to testing
(
Debian testing watch
)
[
2010-04-16
]
Accepted agda 2.2.6-6 (source all amd64)
(
Joachim Breitner
)
[
2010-04-04
]
agda 2.2.6-5 MIGRATED to testing
(
Debian testing watch
)
[
2010-03-16
]
Accepted agda 2.2.6-5 (source all amd64)
(
Marco Túlio Gontijo e Silva
)
[
2010-03-12
]
Accepted agda 2.2.6-4 (source all amd64)
(
Iain Lane
)
(signed by:
Marco Túlio Gontijo e Silva
)
[
2010-02-27
]
Accepted agda 2.2.6-3 (source all amd64)
(
Marco Túlio Gontijo e Silva
)
[
2010-01-18
]
Accepted agda 2.2.6-2 (source all i386)
(
Iain Lane
)
(signed by:
Mirco Bauer
)
[
2010-01-07
]
Accepted agda 2.2.6-1 (source all amd64)
(
Iain Lane
)
(signed by:
Joachim Breitner
)
[
2009-08-10
]
Accepted agda 2.2.2-1 (source all amd64)
(
Iain Lane
)
(signed by:
Joachim Breitner
)
[
2009-08-10
]
Accepted agda 2.2.4+dfsg-1 (source all amd64)
(
Iain Lane
)
(signed by:
Joachim Breitner
)
1
2
3
