Maintainer ice_phoenix@aur

Contact

Packages

Total

11

Newest

1

Outdated

0

Ignored

0

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 3 known problems for packages maintained by ice_phoenix@aur

Packages

There are 11 total package(s) for 7 distinct project(s) known.

boolector, ibrowse, llvm-debug, mathsat-5, neotoma, z3-stable, z3-unstable

Similar maintainers

Maintainer Score Common projects
deian@aur 11.11 1
mt@debian.org 4.00 1
iwamatsu@debian.org 0.80 1
aseipp@pobox.com 0.60 1
Maintainer Score Common projects
yuri@freebsd.org 0.12 1
nomaintainer@macports.org 0.02 1
ubuntu-devel-discuss@lists.ubuntu.com 0.01 1