Register
|
Log in
News for package
agda
[
2024-10-30
]
agda 2.6.4.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-08
]
Accepted agda 2.6.4.3-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2024-08-30
]
agda REMOVED from testing
(
Debian testing watch
)
[
2024-08-29
]
Accepted agda 2.6.3-2 (source) into unstable
(
Ilias Tsitsimpis
)
[
2023-12-16
]
agda 2.6.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-11-17
]
agda REMOVED from testing
(
Debian testing watch
)
[
2023-10-13
]
Accepted agda 2.6.3-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2023-02-11
]
agda 2.6.2.2-1.1 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-06
]
Accepted agda 2.6.2.2-1.1 (source) into unstable
(
Marcel Fourné
)
(signed by:
Helmut Grohne
)
[
2022-08-10
]
agda REMOVED from testing
(
Debian testing watch
)
[
2022-08-06
]
Accepted agda 2.6.2.2-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2021-02-10
]
agda 2.6.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-08-01
]
agda REMOVED from testing
(
Debian testing watch
)
[
2020-07-29
]
Accepted agda 2.6.1-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2019-11-03
]
agda 2.6.0.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-31
]
Accepted agda 2.6.0.1-1 (source) into unstable
(
Clint Adams
)
[
2018-11-29
]
agda 2.5.4.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2018-11-28
]
agda REMOVED from testing
(
Debian testing watch
)
[
2018-10-20
]
Accepted agda 2.5.4.1-3 (source) into unstable
(
Ilias Tsitsimpis
)
[
2018-10-01
]
Accepted agda 2.5.4.1-2 (source) into unstable
(
Ilias Tsitsimpis
)
[
2018-09-30
]
Accepted agda 2.5.4.1-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2018-07-03
]
agda 2.5.3-5 MIGRATED to testing
(
Debian testing watch
)
[
2018-04-29
]
Accepted agda 2.5.3-5 (source) into unstable
(
Clint Adams
)
[
2018-04-10
]
Accepted agda 2.5.3-4 (source) into unstable
(
Clint Adams
)
[
2017-11-22
]
agda 2.5.3-3 MIGRATED to testing
(
Debian testing watch
)
[
2017-10-14
]
Accepted agda 2.5.3-3 (source) into unstable
(
Joachim Breitner
)
[
2017-10-14
]
Accepted agda 2.5.3-2 (source amd64 all) into unstable
(
Joachim Breitner
)
[
2017-10-13
]
Accepted agda 2.5.3-1 (source) into unstable
(
Sean Whitton
)
(signed by:
Joachim Breitner
)
[
2017-09-02
]
agda 2.5.2-2 MIGRATED to testing
(
Debian testing watch
)
[
2017-07-10
]
Accepted agda 2.5.2-2 (source) into unstable
(
Gianfranco Costamagna
)
1
2
3
