Versions Packages Information History Related Badges Report

Versions for agda-stdlib

53 package(s) known

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