Maintainer soimort@aur

Contact

Packages

Total

41

Newest

14

Outdated

1

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

Packages

There are 41 total package(s) for 36 distinct project(s) known.

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, hol, 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