Maintainer soimort@aur

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable See also
AUR 43 38 17 44.7% 2 5.3% -- HCO LN U html, atomAtom feed
Total 43 38 17 44.7% 2 5.3% -- HCO LN U

Problems

There are 9 known problems for packages maintained by soimort@aur

Projects

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-lang, mlkit, mosml, nemerle, ocaml:batteries, ocaml:cairo, ocaml:menhir, ocaml:migrate-parsetree, ocaml:pprint, ocaml:ppx-derivers, ocaml:ppx-deriving, ocaml:ppx-deriving-yojson, ocaml:ppx-tools, ocaml:ppxfind, ocaml:process, ocaml:stdint, ocaml:ulex, ocaml:yojson, prover9, smltojs, twelf

Similar maintainers