Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
idris2-doc 0.7.0-r4 URL BSD-3-Clause edge community armhf Sören Tempel 2024-04-29 17:15:38
idris2 0.7.0-r4 URL BSD-3-Clause edge community armhf Sören Tempel 2024-04-29 17:15:38
idris2-api 0.7.0-r4 URL BSD-3-Clause edge community armhf Sören Tempel 2024-04-29 17:15:38
idris2 0.7.0-r4 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-21 07:56:29
idris2-doc 0.7.0-r4 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-21 07:56:29
idris2-api 0.7.0-r4 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-21 07:56:29
idris2-doc 0.7.0-r4 URL BSD-3-Clause edge community x86 Sören Tempel 2024-04-21 07:56:29
idris2-api 0.7.0-r4 URL BSD-3-Clause edge community x86 Sören Tempel 2024-04-21 07:56:29
idris2 0.7.0-r4 URL BSD-3-Clause edge community x86 Sören Tempel 2024-04-21 07:56:29
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-20 06:25:41
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community x86 Sören Tempel 2024-04-20 06:25:41
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing riscv64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing riscv64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing x86_64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing x86_64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing armv7 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing armv7 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing x86 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing x86 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing ppc64le Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing ppc64le Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing armhf Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing armhf Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing aarch64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing aarch64 Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing s390x Sören Tempel 2024-04-15 15:00:47
py3-sphinxcontrib-hydomain-pyc 0.1.0_git20230930-r1 URL BSD-3-Clause edge testing s390x Sören Tempel 2024-04-15 15:00:47
z3 4.13.0-r1 URL MIT edge community riscv64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile-pyc 0.12.0-r1 URL MIT edge community riscv64 Sören Tempel 2024-04-12 09:59:22
py3-z3 4.13.0-r1 URL MIT edge community riscv64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-doc 1.55-r1 URL LGPL-2.1-or-later edge community riscv64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-dev 1.55-r1 URL LGPL-2.1-or-later edge community riscv64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck 1.55-r1 URL LGPL-2.1-or-later edge community riscv64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile 0.12.0-r1 URL MIT edge community riscv64 Sören Tempel 2024-04-12 09:59:22
z3-dev 4.13.0-r1 URL MIT edge community riscv64 Sören Tempel 2024-04-12 09:59:22
z3-dev 4.13.0-r1 URL MIT edge community aarch64 Sören Tempel 2024-04-12 09:59:22
z3 4.13.0-r1 URL MIT edge community aarch64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-doc 1.55-r1 URL LGPL-2.1-or-later edge community aarch64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-dev 1.55-r1 URL LGPL-2.1-or-later edge community aarch64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck 1.55-r1 URL LGPL-2.1-or-later edge community aarch64 Sören Tempel 2024-04-12 09:59:22
py3-z3 4.13.0-r1 URL MIT edge community aarch64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile-pyc 0.12.0-r1 URL MIT edge community aarch64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile 0.12.0-r1 URL MIT edge community aarch64 Sören Tempel 2024-04-12 09:59:22
z3-dev 4.13.0-r1 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-doc 1.55-r1 URL LGPL-2.1-or-later edge community x86_64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck-dev 1.55-r1 URL LGPL-2.1-or-later edge community x86_64 Sören Tempel 2024-04-12 09:59:22
ktoblzcheck 1.55-r1 URL LGPL-2.1-or-later edge community x86_64 Sören Tempel 2024-04-12 09:59:22
z3 4.13.0-r1 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile-pyc 0.12.0-r1 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
py3-mediafile 0.12.0-r1 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22