| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
community |
agda-stdlib |
1.5 |
- |
- |
Debian Oldstable
oldstable/main |
agda-stdlib |
0.12 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Debian Stable
stable/main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Testing
testing/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Unstable
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Deepin
main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 1.0 (Jessie)
jessie/main |
agda-stdlib |
0.8 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 2.0 (ASCII)
ascii/main |
agda-stdlib |
0.12 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Devuan 3.0 (Beowulf)
beowulf/main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 4.0 (Chimaera)
chimaera/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Unstable
unstable/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Fedora 26
release |
Agda-stdlib |
0.13 |
Development/Libraries |
- |
Fedora 27
release |
Agda-stdlib |
0.13 |
Development/Libraries |
- |
Fedora 28
updates |
Agda-stdlib |
0.15 |
Development/Libraries |
- |
Fedora 28
release |
Agda-stdlib |
0.13 |
Development/Libraries |
- |
Fedora 29
release |
Agda-stdlib |
0.15 |
Development/Libraries |
- |
Fedora 30
release |
Agda-stdlib |
0.17 |
Unspecified |
- |
Fedora 31
release |
Agda-stdlib |
1.1 |
Unspecified |
- |
Fedora 32
release |
Agda-stdlib |
1.1 |
Unspecified |
- |
Fedora 32
updates |
Agda-stdlib |
1.1 |
Unspecified |
- |
Fedora 33
release |
Agda-stdlib |
1.3 |
Unspecified |
- |
Fedora 34
development |
Agda-stdlib |
1.3 |
Unspecified |
- |
|
Fedora Rawhide |
Agda-stdlib |
1.3 |
Unspecified |
- |
Funtoo 1.4
science-kit |
sci-mathematics/agda-stdlib |
2.5.2.0.13 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Funtoo 1.4
science-kit |
sci-mathematics/agda-stdlib |
2.4.2.5 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
|
Gentoo |
sci-mathematics/agda-stdlib |
2.6.1.2.1.4 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Hyperbola
community |
agda-stdlib |
0.13 |
- |
- |
Kali Linux Rolling
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
|
LiGurOS stable |
sci-mathematics/agda-stdlib |
2.6.1.2.1.4 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
|
LiGurOS develop |
sci-mathematics/agda-stdlib |
2.6.1.2.1.4 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Manjaro Stable
community |
agda-stdlib |
1.5 |
- |
- |
Manjaro Testing
community |
agda-stdlib |
1.5 |
- |
- |
Manjaro Unstable
community |
agda-stdlib |
1.5 |
- |
- |
Parabola
community |
agda-stdlib |
1.5 |
- |
- |
Pardus 17
main |
agda-stdlib |
0.12 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Pardus 19
main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS Amber |
agda-stdlib |
0.17 |
misc |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS landing |
agda-stdlib |
1.3 |
misc |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Oldstable
main |
agda-stdlib |
0.12 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Raspbian Stable
main |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Testing
main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Trisquel 6.0
toutatis/main |
agda-stdlib |
0.6 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Trisquel 7.0
belenos/main |
agda-stdlib |
0.7 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Trisquel 8.0
flidas/main |
agda-stdlib |
0.11 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Trisquel 9.0
etiona/main |
agda-stdlib |
0.14 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 12.04
precise/universe |
agda-stdlib |
0.6 |
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 20.10
groovy/universe |
agda-stdlib |
1.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 21.04
hirsute/universe |
agda-stdlib |
1.3 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |