| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
community |
agda-stdlib |
0.17
|
- |
fallback-mnt-arch@repology |
Debian Oldstable
oldstable/main |
agda-stdlib |
0.8
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Stable
stable/main |
agda-stdlib |
0.12
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Debian Testing
testing/main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Unstable
main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Deepin
main |
agda-stdlib |
0.14
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Oldstable
oldstable/main |
agda-stdlib |
0.8
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Stable
stable/main |
agda-stdlib |
0.12
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Devuan Testing
testing/main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Unstable
unstable/main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Fedora 26
release |
Agda-stdlib |
0.13
|
Development/Libraries |
fallback-mnt-fedora_26@repology |
Fedora 27
release |
Agda-stdlib |
0.13
|
Development/Libraries |
fallback-mnt-fedora_27@repology |
Fedora 28
updates |
Agda-stdlib |
0.15
|
Development/Libraries |
fallback-mnt-fedora_28@repology |
Fedora 28
release |
Agda-stdlib |
0.13
|
Development/Libraries |
fallback-mnt-fedora_28@repology |
Fedora 29
release |
Agda-stdlib |
0.15
|
Development/Libraries |
fallback-mnt-fedora_29@repology |
|
Fedora Rawhide |
Agda-stdlib |
0.15
|
Unspecified |
fallback-mnt-fedora_rawhide@repology |
|
FreeBSD Ports |
hs-Agda-stdlib |
0.16
|
math |
haskell@freebsd.org |
Funtoo 1.3
science-kit |
agda-stdlib |
2.5.2.0.13
|
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Funtoo 1.3
science-kit |
agda-stdlib |
2.4.2.5
|
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
|
Gentoo |
agda-stdlib |
2.5.2.0.13
|
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
|
Gentoo |
agda-stdlib |
2.4.2.5
|
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Hyperbola
community |
agda-stdlib |
0.13
|
- |
fallback-mnt-hyperbola@repology |
Kali Linux Rolling
main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Manjaro Stable
community |
agda-stdlib |
0.17
|
- |
fallback-mnt-manjaro_stable@repology |
Manjaro Testing
community |
agda-stdlib |
0.17
|
- |
fallback-mnt-manjaro_testing@repology |
Manjaro Unstable
community |
agda-stdlib |
0.17
|
- |
fallback-mnt-manjaro_unstable@repology |
|
nixpkgs stable |
agda-stdlib |
0.16
|
- |
johnw@newartisans.com, fuuzetsu@fuuzetsu.co.uk, lamudri@gmail.com |
|
nixpkgs unstable |
agda-stdlib |
0.17
|
- |
johnw@newartisans.com, fuuzetsu@fuuzetsu.co.uk, lamudri@gmail.com |
Parabola
community |
agda-stdlib |
0.17
|
- |
fallback-mnt-parabola@repology |
Pardus
main |
agda-stdlib |
0.12
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Parrot
main |
agda-stdlib |
0.17
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS green |
agda-stdlib |
0.14
|
misc |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS landing |
agda-stdlib |
0.17
|
misc |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Oldstable
main |
agda-stdlib |
0.8
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Stable
main |
agda-stdlib |
0.12
|
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org, spwhitton@spwhitton.name |
Raspbian Testing
main |
agda-stdlib |
0.17
|
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 |
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 17.10
artful/universe |
agda-stdlib |
0.13
|
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 18.10
cosmic/universe |
agda-stdlib |
0.14
|
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 19.04
disco/universe |
agda-stdlib |
0.17
|
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |