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
master
Add File
New File
Upload File
Apply Patch
gentoo-overlay
/
dev-util
/
spin
History
Ben Roberts
750be08ab4
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
..
files
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
Manifest
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
spin-5.2.2-r1.ebuild
Added ebuild for spin (model checker) from gentoo bugzilla
2010-03-15 19:37:12 +00:00
