Versions Packages Information History Related Badges Report

Versions for agda-stdlib

43 package(s) known

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