Maintainer gebner@gebner.org

Contact

Packages

Total

117

Newest

59

Outdated

28

Ignored

4

Package lists

Package filtering in Repology is very flexible, so you can combine all kinds of conditions. But here are some preset queries to start with:

Repositories

This maintainer is active in the following repositories:

Problems

There are 2 known problems for packages maintained by gebner@gebner.org

Categories

This maintainer is active in the following package categories:

Packages

There are 117 total package(s) for 59 distinct project(s) known.

abcde, aspino, cvc4, elan, eprover, fonts:ipa, fstar, glucose, glucose-syrup, goldendict, heaptrack, hledger-diff, ibus-anthy, ibus-mozc, ibus-qt, iprover, jabref, lean, lean2, lib3mf, libde265, libeb, libheif, libqalculate, metis-prover, minisat, nrfutil, ocaml:stdint, open-wbo, openscad, opensmtpd-extras, procmail, pubs, pyside2-tools, python:cachelib, python:khal, python:pc-ble-driver-py, python:piccata, python:pyfakefs, python:pyside2, python:pyspinel, python:rlp, python:sentry-sdk, python:shiboken2, python:shippai, python:spyder, python:spyder-kernels, pythonocc-core, qalculate-gtk, simp-le-client, smesh, speedcrunch, spyder, tegaki-zinnia-japanese, tokei, tptp, vampire, verit, zinnia

Similar maintainers