Register
|
Log in
News for package
agda-stdlib
[
2024-12-04
]
agda-stdlib 2.1-4 imported into kali-rolling
(
Kali Repository
)
[
2024-11-07
]
agda-stdlib 2.1-3 imported into kali-rolling
(
Kali Repository
)
[
2024-08-29
]
agda-stdlib 1.7.3-1 removed from kali-rolling
(
Kali Repository
)
[
2024-08-29
]
agda-stdlib 1.7.3-1 removed from kali-dev
(
Kali Repository
)
[
2024-01-05
]
agda-stdlib 1.7.3-1 imported into kali-rolling
(
Kali Repository
)
[
2023-11-16
]
agda-stdlib 1.7.1-1 removed from kali-rolling
(
Kali Repository
)
[
2023-11-16
]
agda-stdlib 1.7.1-1 removed from kali-dev
(
Kali Repository
)
[
2023-02-13
]
agda-stdlib 1.7.1-1 imported into kali-rolling
(
Kali Repository
)
[
2022-08-09
]
agda-stdlib 1.3-2 removed from kali-rolling
(
Kali Repository
)
[
2022-08-09
]
agda-stdlib 1.3-2 removed from kali-dev
(
Kali Repository
)
[
2021-02-09
]
agda-stdlib 1.3-2 imported into kali-rolling
(
Kali Repository
)
[
2020-08-03
]
agda-stdlib 1.1-1 removed from kali-rolling
(
Kali Repository
)
[
2020-08-01
]
agda-stdlib 1.1-1 removed from kali-dev
(
Kali Repository
)
[
2019-11-04
]
agda-stdlib 1.1-1 imported into kali-rolling
(
Kali Repository
)
[
2018-11-29
]
agda-stdlib 0.17-1 imported into kali-rolling
(
Kali Repository
)
[
2018-11-28
]
agda-stdlib 0.14-1 removed from kali-rolling
(
Kali Repository
)
[
2018-11-28
]
agda-stdlib 0.14-1 removed from kali-dev
(
Kali Repository
)
[
2017-12-01
]
agda-stdlib 0.14-1 imported into kali-rolling
(
Kali Repository
)
[
2017-08-05
]
agda-stdlib 0.13-1 imported into kali-rolling
(
Kali Repository
)
[
2016-12-08
]
agda-stdlib 0.12-2 imported into kali-rolling
(
Kali Repository
)
[
2016-11-28
]
agda-stdlib 0.12-2 removed from kali-rolling
(
Kali Repository
)
[
2016-11-28
]
agda-stdlib 0.12-2 removed from kali-dev
(
Kali Repository
)
[
2016-07-13
]
agda-stdlib 0.12-2 imported into kali-rolling
(
Kali Repository
)
[
2016-01-10
]
agda-stdlib 0.11-1 imported into kali-rolling
(
Kali Repository
)
[
2015-12-21
]
agda-stdlib 0.9-1 removed from kali-rolling
(
Kali Repository
)
[
2015-12-21
]
agda-stdlib 0.9-1 removed from kali-dev
(
Kali Repository
)
[
2015-12-07
]
agda-stdlib 0.9-1 migrated to Kali Safi
[
2015-08-27
]
agda-stdlib 0.6-2 migrated to Kali Moto
[
2015-08-11
]
agda-stdlib 0.8-2 migrated to Kali Moto
[
2015-07-21
]
agda-stdlib 0.8-2 has been added to Kali Sana
1
2
