PackagesModel checker for verifying properties of array-based systems
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| app-editors/emacs | |||||
| app-portage/elt-patches | |||||
| dev-build/autoconf | |||||
| dev-build/automake | |||||
| dev-build/libtool | |||||
| dev-lang/ocaml | |||||
| dev-ml/findlib | |||||
| dev-ml/num | |||||
| sys-apps/gawk | |||||
| sys-devel/gnuconfig |