State of standard for openSUSE:Backports:SLE-15 / Agda
x86_64
Agda-2.5.2-bp150.1.5.src.rpm (1.19 MB) |
|
Agda-2.5.2-bp150.1.5.x86_64.rpm (5.92 MB) |
|
_buildenv (32.4 KB) |
|
ghc-Agda-2.5.2-bp150.1.5.x86_64.rpm (5.08 MB) |
|
ghc-Agda-devel-2.5.2-bp150.1.5.x86_64.rpm (19.2 MB) |
|
rpmlint.log (1.28 KB) |
|
aarch64
No built binaries
ppc64le
Agda-2.5.2-bp150.1.3.ppc64le.rpm (10.4 MB) |
|
Agda-2.5.2-bp150.1.3.src.rpm (1.19 MB) |
|
_buildenv (32.2 KB) |
|
ghc-Agda-2.5.2-bp150.1.3.ppc64le.rpm (6.6 MB) |
|
ghc-Agda-devel-2.5.2-bp150.1.3.ppc64le.rpm (27.7 MB) |
|
rpmlint.log (1.28 KB) |
|
s390x
No built binaries