Go
Register
|
Log in
Subscribe
agda-stdlib
×
Choose email to subscribe with
general
source:
agda-stdlib
(
main
)
version:
1.7.3-1
maintainer:
Iain Lane
uploaders:
Debian Haskell Group
(
archive
)
arch:
all
std-ver:
4.6.2
VCS:
Git
(
Browse
)
versions
[pool directory]
kali-roll:
1.7.3-1
kali-dev:
1.7.3-1
deb-test:
1.7.3-1
versioned links
1.7.3-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
agda-stdlib
agda-stdlib-doc
news
[rss feed]
[
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
[
2015-07-04
]
agda-stdlib 0.9-1 migrated to Kali Devel
[
2015-07-04
]
agda-stdlib 0.9-1 migrated to Kali Rolling
[
2014-10-22
]
agda-stdlib 0.8-2 migrated to Kali Rolling
links
homepage