Go
Register
|
Log in
Subscribe
agda
×
Choose email to subscribe with
general
source:
agda
(
main
)
version:
2.8.0-2
maintainer:
Debian Haskell Group
(
archive
)
arch:
all any
std-ver:
4.7.0
VCS:
Git
(
Browse
)
versions
[pool directory]
kali-dev:
2.8.0-2
deb-test:
2.8.0-2
versioned links
2.8.0-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
agda
agda-bin
elpa-agda2-mode
libghc-agda-dev
libghc-agda-doc
news
[rss feed]
[
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
links
homepage
