Register
|
Log in
News for package
agda-stdlib
[
2016-06-23
]
Accepted agda-stdlib 0.12-2 (source) into unstable
(
Helmut Grohne
)
[
2016-06-20
]
Accepted agda-stdlib 0.12-1 (source all) into unstable
(
Sean Whitton
)
(signed by:
Joachim Breitner
)
[
2016-01-10
]
agda-stdlib 0.11-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-01-04
]
Accepted agda-stdlib 0.11-1 (source) into unstable
(
Iain Lane
)
[
2015-12-21
]
agda-stdlib REMOVED from testing
(
Debian testing watch
)
[
2015-06-26
]
agda-stdlib 0.9-1 MIGRATED to testing
(
Britney
)
[
2015-05-20
]
Accepted agda-stdlib 0.9-1 (source all) into unstable
(
Iain Lane
)
[
2014-08-22
]
agda-stdlib 0.8-2 MIGRATED to testing
(
Britney
)
[
2014-08-12
]
Accepted agda-stdlib 0.8-2 (source all) into unstable
(
Iain Lane
)
[
2014-08-05
]
Accepted agda-stdlib 0.8-1 (source all) into unstable
(
Iain Lane
)
[
2013-11-08
]
agda-stdlib 0.7-2 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-27
]
Accepted agda-stdlib 0.7-2 (source all)
(
Iain Lane
)
[
2013-04-10
]
Accepted agda-stdlib 0.7-1 (source all)
(
Iain Lane
)
[
2012-03-25
]
agda-stdlib 0.6-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-03-14
]
Accepted agda-stdlib 0.6-2 (source all)
(
Joachim Breitner
)
[
2012-01-10
]
agda-stdlib 0.6-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-12-30
]
Accepted agda-stdlib 0.6-1 (source all)
(
Iain Lane
)
[
2011-12-23
]
agda-stdlib 0.6~darcs20111129t1640-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-11-29
]
Accepted agda-stdlib 0.6~darcs20111129t1640-1 (source all)
(
Iain Lane
)
[
2011-06-10
]
agda-stdlib 0.5-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-24
]
Accepted agda-stdlib 0.5-1 (source all)
(
Iain Lane
)
[
2010-03-14
]
agda-stdlib 0.3-3 MIGRATED to testing
(
Debian testing watch
)
[
2010-03-03
]
Accepted agda-stdlib 0.3-3 (source all amd64)
(
Marco Túlio Gontijo e Silva
)
[
2010-02-27
]
Accepted agda-stdlib 0.3-2 (source all amd64)
(
Marco Túlio Gontijo e Silva
)
[
2010-02-16
]
agda-stdlib 0.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-02-05
]
Accepted agda-stdlib 0.3-1 (source all amd64)
(
Iain Lane
)
(signed by:
Jo Shields
)
1
2
