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 |