This website requires JavaScript.
Explore
Help
Register
Sign In
ben
/
gentoo-overlay
Watch
1
Star
0
Fork
0
You've already forked gentoo-overlay
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
ee9fae313b6fd1c1d41fa00b8f2a05b26a00b827
gentoo-overlay
/
dev-util
/
spin
/
files
History
Ben Roberts
750be08ab4
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
..
spin
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
spin-5.2.2-xspin_time.patch
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
SPIN-Commercial
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
