Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
idris2 0.7.0-r4 URL BSD-3-Clause edge community riscv64 Sören Tempel 2024-04-29 17:15:38
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community riscv64 Sören Tempel 2024-04-29 17:15:38
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community aarch64 Sören Tempel 2024-04-29 17:15:38
idris2-doc 0.7.0-r4 URL BSD-3-Clause edge community aarch64 Sören Tempel 2024-04-29 17:15:38
idris2-api 0.7.0-r4 URL BSD-3-Clause edge community aarch64 Sören Tempel 2024-04-29 17:15:38
idris2 0.7.0-r4 URL BSD-3-Clause edge community aarch64 Sören Tempel 2024-04-29 17:15:38
idris2 0.7.0-r4 URL BSD-3-Clause edge community armv7 Sören Tempel 2024-04-29 17:15:38
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community armv7 Sören Tempel 2024-04-29 17:15:38
idris2-doc 0.7.0-r4 URL BSD-3-Clause edge community armv7 Sören Tempel 2024-04-29 17:15:38
idris2-api 0.7.0-r4 URL BSD-3-Clause edge community armv7 Sören Tempel 2024-04-29 17:15:38
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community armhf Sören Tempel 2024-04-29 17:15:38
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
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community riscv64 Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community riscv64 Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community x86_64 Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community x86_64 Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community armv7 Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community armv7 Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community s390x Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community s390x Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community ppc64le Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community ppc64le Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community armhf Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community armhf Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community aarch64 Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community aarch64 Sören Tempel 2024-04-25 00:08:23
ctags-doc 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community x86 Sören Tempel 2024-04-25 00:08:23
ctags 6.1.20240421.0-r0 URL GPL-2.0-or-later edge community x86 Sören Tempel 2024-04-25 00:08:23
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
iverilog-doc 12.0-r2 URL GPL-2.0-or-later edge community riscv64 Sören Tempel 2024-04-14 21:48:57
iverilog-dev 12.0-r2 URL GPL-2.0-or-later edge community riscv64 Sören Tempel 2024-04-14 21:48:57
iverilog 12.0-r2 URL GPL-2.0-or-later edge community riscv64 Sören Tempel 2024-04-14 21:48:57
iverilog 12.0-r2 URL GPL-2.0-or-later edge community aarch64 Sören Tempel 2024-04-14 21:48:57
iverilog-doc 12.0-r2 URL GPL-2.0-or-later edge community aarch64 Sören Tempel 2024-04-14 21:48:57
iverilog-dev 12.0-r2 URL GPL-2.0-or-later edge community aarch64 Sören Tempel 2024-04-14 21:48:57
iverilog-doc 12.0-r2 URL GPL-2.0-or-later edge community armv7 Sören Tempel 2024-04-14 21:48:57
iverilog-dev 12.0-r2 URL GPL-2.0-or-later edge community armv7 Sören Tempel 2024-04-14 21:48:57
iverilog 12.0-r2 URL GPL-2.0-or-later edge community armv7 Sören Tempel 2024-04-14 21:48:57
iverilog-doc 12.0-r2 URL GPL-2.0-or-later edge community s390x Sören Tempel 2024-04-14 21:48:57
iverilog-dev 12.0-r2 URL GPL-2.0-or-later edge community s390x Sören Tempel 2024-04-14 21:48:57
iverilog 12.0-r2 URL GPL-2.0-or-later edge community s390x Sören Tempel 2024-04-14 21:48:57