Metapackages

18 item(s) on this page

Metapackage By soimort@aur Spread Newest Outdated Ignored
acl2 8.1 4 8.12 8.0 7.4 7.2 7.1 6.5 6.3 4.2
aoi 3.0.3 5 3.0.3 3.0.2 3.0.1 3.0 2.9.2 2.7.2 2.5
emacs-ats-mode 20150609 1
emacs-oz-mode 20150609 1
emacs-whitespace-mode 20150609 1
fstar 20180518 0.9.6.0 5 0.9.6.03 0.9.6.001
kawa 8533 3.0 7 3.03 2.0 1.14 1.10 1.9.1
marst 2.7 4 2.72 2.4
miranda 2.042 3 1.0 0.10.70
mlkit 4.3.18 2 4.3.15
mosml 2.10.1 7 2.10.15 2.01
nemerle 1.2.507.0 1
ocaml:menhir 20181113 9 201811132 20181006 20180905 20180523 20171222 20171013 201707122 20170607 20170509 20170101 20161115 20160504
ocaml:pprint 20171003 2 20171003
pdksh 5.2.14 13 5.2.1411 5.2.14p2
prover9 2009.11A 4 2009.11a 2009-11a 200911a
smltojs 4.3.12 1
twelf 20130819 1.7.1 4 1.7.13

Legend: