Maintainer soimort@aur

Contact

Packages

Total

39

Newest

14

Outdated

1

Ignored

0

Metapackage lists

Metapackage 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 5 known problems for packages maintained by soimort@aur

Metapackages (35)

acl2, aoi, emacs-android, emacs-arduino-mode, emacs-ats-mode, emacs-emmet-mode, emacs-idris-mode, emacs-less-css-mode, emacs-oz-mode, emacs-processing-mode, emacs-whitespace-mode, fstar, jpcsp, kawa, marst, mathcomp, miranda, mlkit, mosml, nemerle, ocaml:batteries, ocaml:cairo, ocaml:menhir, ocaml:pprint, ocaml:ppx-derivers, ocaml:ppx-deriving, ocaml:ppx-deriving-yojson, ocaml:ppxfind, ocaml:process, ocaml:stdint, ocaml:ulex, pdksh, prover9, smltojs, twelf

Similar maintainers