Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch extra |
agda-stdlib |
1.7.2 |
- |
- |
Arch Linux 32 i686 extra |
agda-stdlib |
1.4 |
- |
- |
Arch Linux 32 pentium4 extra |
agda-stdlib |
1.7 |
- |
- |
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 |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Unstable sid/main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Deepin 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 |
1.7.1 |
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 release |
Agda-stdlib |
1.3 |
Unspecified |
- |
Fedora 35 release |
Agda-stdlib |
1.7 |
Unspecified |
- |
Fedora 36 release |
Agda-stdlib |
1.7.1 |
Unspecified |
- |
Fedora 37 release |
Agda-stdlib |
1.7.1 |
Unspecified |
- |
Fedora 38 release |
Agda-stdlib |
1.7.1 |
Unspecified |
- |
Fedora 39 development |
Agda-stdlib |
1.7.2 |
Unspecified |
- |
Fedora Rawhide development |
Agda-stdlib |
1.7.2 |
Unspecified |
- |
GNU Guix |
agda-stdlib |
1.7.2 |
- |
- |
Kali Linux Rolling main |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Manjaro Stable extra |
agda-stdlib |
1.7.2 |
- |
- |
Manjaro Testing extra |
agda-stdlib |
1.7.2 |
- |
- |
Manjaro Unstable extra |
agda-stdlib |
1.7.2 |
- |
- |
Parabola extra |
agda-stdlib |
1.7.2 |
- |
- |
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.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot parrot/main |
agda-stdlib |
1.3 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
PureOS Amber |
agda-stdlib |
0.17 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
PureOS landing |
agda-stdlib |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.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 |
1.7.1 |
libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.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 23.04 lunar/universe |
agda-stdlib |
1.7.1 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 23.10 mantic/universe |
agda-stdlib |
1.7.1 |
universe/libs |
laney@debian.org, pkg-haskell-maintainers@lists.alioth.debian.org |