Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Proper patch for frama-c | Jonathan-Christofer Demay | 2009-05-04 | 1 | -0/+1 |
* | frama-c and why + dependencies new ebuilds | root | 2009-04-05 | 1 | -0/+87 |
index : proj/sci.git | ||
Gentoo Science Overlay | sci <sci@gentoo.org> |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Proper patch for frama-c | Jonathan-Christofer Demay | 2009-05-04 | 1 | -0/+1 |
* | frama-c and why + dependencies new ebuilds | root | 2009-04-05 | 1 | -0/+87 |