| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch Linux
extra |
agda-stdlib |
1.7.3 |
- |
- |
Debian 10
buster/main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian 11
bullseye/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian 12
bookworm/main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian 13
trixie/main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Debian Unstable
sid/main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
deepin 20
main |
agda-stdlib |
0.17 |
- |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 3.0
beowulf/main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 4.0
chimaera/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Unstable
unstable/main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Fedora 37
release |
Agda-stdlib |
1.7.1 |
Unspecified |
- |
Fedora 38
release |
Agda-stdlib |
1.7.1 |
Unspecified |
- |
Fedora 39
release |
Agda-stdlib |
1.7.2 |
Unspecified |
- |
Fedora 40
release |
Agda-stdlib |
1.7.3 |
Unspecified |
- |
Fedora 41
release |
Agda-stdlib |
1.7.3 |
Unspecified |
- |
Fedora 42
release |
Agda-stdlib |
1.7.3 |
Unspecified |
- |
Fedora Rawhide
development |
Agda-stdlib |
2.1.1 |
Unspecified |
- |
|
GNU Guix |
agda-stdlib |
2.1.1 |
- |
- |
Kali Linux Rolling
main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Manjaro Stable
extra |
agda-stdlib |
1.7.3 |
- |
- |
Manjaro Testing
extra |
agda-stdlib |
1.7.3 |
- |
- |
Manjaro Unstable
extra |
agda-stdlib |
1.7.3 |
- |
- |
Parabola
extra |
agda-stdlib |
1.7.3 |
- |
- |
Pardus 21
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot
parrot-updates/main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot
parrot/main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
PureOS amber
amber/main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
PureOS byzantium
byzantium/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
PureOS landing
landing/main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Raspbian Oldstable
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Stable
main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Testing
main |
agda-stdlib |
2.1 |
libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Trisquel 10.0
nabia/main |
agda-stdlib |
1.1 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Trisquel 11.0
aramo/main |
agda-stdlib |
1.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 14.04
trusty/universe |
agda-stdlib |
0.7 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 16.04
xenial/universe |
agda-stdlib |
0.11 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 18.04
bionic/universe |
agda-stdlib |
0.14 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 20.04
focal/universe |
agda-stdlib |
1.1 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 22.04
jammy/universe |
agda-stdlib |
1.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 24.04
noble/universe |
agda-stdlib |
1.7.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 24.10
oracular/universe |
agda-stdlib |
1.7.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 25.04
plucky/universe |
agda-stdlib |
2.1 |
universe/libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |
Ubuntu 25.10
questing/universe |
agda-stdlib |
2.1 |
universe/libs |
pkg-haskell-maintainers@lists.alioth.debian.org, iliastsi@debian.org |