Register
|
Log in
News for package
agda
[
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
)
[
2013-04-10
]
Accepted agda 2.3.2-1 (source all amd64)
(
Iain Lane
)
1
2
3
