Metapackages

10 item(s) on this page

Metapackage By soimort@aur Spread Newest Outdated Ignored
emacs-whitespace-mode 20150609 1
fstar 20180518 0.9.6.0 5 0.9.6.03 0.9.6.001
mathcomp 20170913 2 1.7.0 1.5
mosml 2.10.1 7 2.10.15 2.01
ocaml:cairo 20150609 6 1.2.0.2 1.2.0.1 1.2.0 1.2.0.cvs20080301 0.5 0.4.72
ocaml:menhir 20181006 9 20181005 20180905 20180523 20171222 20171013 201707122 20170607 20170509 20170101 20161115 20160504
ocaml:ppx-derivers 20180224 5 1.24 1.0
ocaml:ppx-deriving 20180318 6 4.2.14 4.1 3.1
ocaml:ulex 20171127 12 1.2 1.111
prover9 2009.11A 4 2009.11a 2009-11a 200911a

Legend: