Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [sci-mathematics/why] Silenced repoman; dropped ~sparc since dependencies can... | 2010-07-11 | 3 | -5/+28 | |
* | sci-mathematics/why: Version bump | 2010-07-08 | 6 | -133/+48 | |
* | more eapi2 updates | 2009-10-24 | 2 | -2/+5 | |
* | various eapi2 updates | 2009-10-24 | 2 | -18/+15 | |
* | sci-mathematics/why: fix search with pvs binary | 2009-10-15 | 2 | -1/+2 | |
* | Another bunch of updates related to Frama-C | 2009-09-22 | 1 | -75/+0 | |
* | Various updates related to Frama-C. | 2009-09-22 | 3 | -4/+85 | |
* | Various updates related to sci-mathematics/frama-c | 2009-09-08 | 4 | -11/+141 | |
* | frama-c and why + dependencies new ebuilds | 2009-04-05 | 2 | -0/+52 |