Register
|
Log in
News for package
agda
[
2026-02-24
]
agda 2.6.4.3-1 removed from kali-rolling
(
Kali Repository
)
[
2026-02-24
]
agda 2.6.4.3-1 removed from kali-dev
(
Kali Repository
)
[
2024-11-07
]
agda 2.6.4.3-1 imported into kali-rolling
(
Kali Repository
)
[
2024-08-29
]
agda 2.6.3-1 removed from kali-rolling
(
Kali Repository
)
[
2024-08-29
]
agda 2.6.3-1 removed from kali-dev
(
Kali Repository
)
[
2024-01-05
]
agda 2.6.3-1 imported into kali-rolling
(
Kali Repository
)
[
2023-11-16
]
agda 2.6.2.2-1.1 removed from kali-rolling
(
Kali Repository
)
[
2023-11-16
]
agda 2.6.2.2-1.1 removed from kali-dev
(
Kali Repository
)
[
2023-02-13
]
agda 2.6.2.2-1.1 imported into kali-rolling
(
Kali Repository
)
[
2022-08-09
]
agda 2.6.1-1 removed from kali-rolling
(
Kali Repository
)
[
2022-08-09
]
agda 2.6.1-1 removed from kali-dev
(
Kali Repository
)
[
2021-02-09
]
agda 2.6.1-1 imported into kali-rolling
(
Kali Repository
)
[
2020-08-03
]
agda 2.6.0.1-1 removed from kali-rolling
(
Kali Repository
)
[
2020-08-01
]
agda 2.6.0.1-1 removed from kali-dev
(
Kali Repository
)
[
2019-11-04
]
agda 2.6.0.1-1 imported into kali-rolling
(
Kali Repository
)
[
2018-11-29
]
agda 2.5.4.1-3 imported into kali-rolling
(
Kali Repository
)
[
2018-11-28
]
agda 2.5.3-5 removed from kali-rolling
(
Kali Repository
)
[
2018-11-28
]
agda 2.5.3-5 removed from kali-dev
(
Kali Repository
)
[
2018-07-03
]
agda 2.5.3-5 imported into kali-rolling
(
Kali Repository
)
[
2017-11-22
]
agda 2.5.3-3 imported into kali-rolling
(
Kali Repository
)
[
2017-09-02
]
agda 2.5.2-2 imported into kali-rolling
(
Kali Repository
)
[
2016-12-08
]
agda 2.5.1.1-3 imported into kali-rolling
(
Kali Repository
)
[
2016-11-28
]
agda 2.5.1-2 removed from kali-rolling
(
Kali Repository
)
[
2016-11-28
]
agda 2.5.1-2 removed from kali-dev
(
Kali Repository
)
[
2016-07-13
]
agda 2.5.1-2 imported into kali-rolling
(
Kali Repository
)
[
2016-01-10
]
agda 2.4.2.5-1 imported into kali-rolling
(
Kali Repository
)
[
2015-12-21
]
agda 2.4.2.2-4 removed from kali-rolling
(
Kali Repository
)
[
2015-12-21
]
agda 2.4.2.2-4 removed from kali-dev
(
Kali Repository
)
[
2015-12-07
]
agda 2.4.2.2-4 migrated to Kali Safi
[
2015-09-11
]
agda 2.4.2.2-4 has been added to Kali Devel
1
2
