Ben Roberts 750be08ab4 Added ebuild for spin (model checker) from gentoo bugzilla

2010-03-15 19:37:12 +00:00

..

scmbug

Added a version-bumped ebuild for scmbug 0.26.16

2009-12-14 23:27:48 +00:00

spin

Added ebuild for spin (model checker) from gentoo bugzilla

2010-03-15 19:37:12 +00:00