Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
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
bmake-doc 20240404-r0 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-20 15:02:54
bmake 20240404-r0 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-20 15:02:54
idris2-stage0 0.7.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-20 06:25:41
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
hy-pyc 0.28.0-r1 URL MIT edge testing x86_64 Sören Tempel 2024-04-15 15:00:47
hy 0.28.0-r1 URL MIT edge testing x86_64 Sören Tempel 2024-04-15 15:00:47
iverilog-doc 12.0-r2 URL GPL-2.0-or-later edge community x86_64 Sören Tempel 2024-04-14 21:48:57
iverilog-dev 12.0-r2 URL GPL-2.0-or-later edge community x86_64 Sören Tempel 2024-04-14 21:48:57
iverilog 12.0-r2 URL GPL-2.0-or-later edge community x86_64 Sören Tempel 2024-04-14 21:48:57
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
py3-oscrypto-pyc 1.3.0-r6 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
py3-oscrypto-doc 1.3.0-r6 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
py3-oscrypto 1.3.0-r6 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
py3-z3 4.13.0-r1 URL MIT edge community x86_64 Sören Tempel 2024-04-12 09:59:22
hlint 3.8-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-11 08:40:16
ormolu-doc 0.7.4.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-11 08:40:16
ormolu 0.7.4.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-11 08:40:16
apply-refact-doc 0.13.0.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-11 08:40:16
apply-refact 0.13.0.0-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-11 08:40:16
ghc-doc 9.8.2-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-07 07:50:43
ghc-dev 9.8.2-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-07 07:50:43
ghc 9.8.2-r1 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-07 07:50:43
rest-server 0.12.1-r6 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
android-tools-bash-completion 34.0.5-r1 URL Apache-2.0 MIT edge community x86_64 Sören Tempel 2024-04-06 14:48:08
android-tools 34.0.5-r1 URL Apache-2.0 MIT edge community x86_64 Sören Tempel 2024-04-06 14:48:08
rest-server-openrc 0.12.1-r6 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
rest-server-doc 0.12.1-r6 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
restic-zsh-completion 0.16.4-r2 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
restic-doc 0.16.4-r2 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
booster-doc 0.11-r6 URL MIT edge community x86_64 Sören Tempel 2024-04-06 14:48:08
booster 0.11-r6 URL MIT edge community x86_64 Sören Tempel 2024-04-06 14:48:08
restic-bash-completion 0.16.4-r2 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
restic 0.16.4-r2 URL BSD-2-Clause edge community x86_64 Sören Tempel 2024-04-06 14:48:08
verilator-doc 5.024-r0 URL LGPL-3.0-only edge community x86_64 Sören Tempel 2024-04-06 12:03:21
verilator-dev 5.024-r0 URL LGPL-3.0-only edge community x86_64 Sören Tempel 2024-04-06 12:03:21
verilator 5.024-r0 URL LGPL-3.0-only edge community x86_64 Sören Tempel 2024-04-06 12:03:21
loksh-doc 7.5-r0 URL Public-Domain edge community x86_64 Sören Tempel 2024-04-06 12:01:58
loksh 7.5-r0 URL Public-Domain edge community x86_64 Sören Tempel 2024-04-06 12:01:58
cabal-stage0 3.10.3.0-r0 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-06 11:47:36
cabal-doc 3.10.3.0-r0 URL BSD-3-Clause edge community x86_64 Sören Tempel 2024-04-06 11:47:36