Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/frama-c
Commit message (Expand)AuthorAgeFilesLines
* [sci-mathematics/frama-c] Dropped ~sparc since dependencies cannot be fulfilled.Andreas K. Huettel (dilfridge)2010-07-113-3/+27
* sci-mathematics/frama-c: Version bumpJonathan-Christofer Demay2010-07-089-166/+98
* [sci-mathematics/frama-c] QA fixesAndreas K. Huettel (dilfridge)2010-06-224-9/+53
* sci-mathematics/frama-c/files/frama-c-20090901-always_init.patchJonathan-Christofer Demay2009-12-111-0/+0
* Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sciJonathan-Christofer Demay2009-12-111-0/+0
|\
| * sci-mathematics/frama-c20090901: always_init.patch -> fix ptr initJonathan-Christofer Demay2009-11-271-25/+47
* | sci-mathematics/frama-c/files/frama-c-20090901-always_init.patchJonathan-Christofer Demay2009-12-112-26/+48
|/
* sci-mathematics/frama-c-20090901: always_init.patchJonathan-Christofer Demay2009-11-253-29/+50
* sci-mathematics/frama-c-20090901: always_define.patchJonathan-Christofer Demay2009-11-243-14/+33
* sci-mathematics/frama-c-20090901: init_locals_defined.patchJonathan-Christofer Demay2009-11-233-1/+65
* more eapi2 updatesJonathan-Christofer Demay2009-10-242-2/+4
* various eapi2 updatesJonathan-Christofer Demay2009-10-242-13/+11
* dropping sci-mathematics/pvs: unmaintained mainstream and PITA to maintain in...Jonathan-Christofer Demay2009-10-152-3/+2
* sci-mathematics/frama-c: varinfo_export patchJonathan-Christofer Demay2009-10-122-3/+3
* sci-mathematics/frama-c: varinfo patch only to fix exportJonathan-Christofer Demay2009-09-241-15/+0
* Another bunch of updates related to Frama-CJonathan-Christofer Demay2009-09-2211-946/+1
* Various updates related to Frama-C.Jonathan-Christofer Demay2009-09-226-9/+200
* Various updates related to sci-mathematics/frama-cJonathan-Christofer Demay2009-09-0812-339/+802
* frama-c: more clean ups.Jonathan-Christofer Demay2009-06-122-4/+4
* clean ups.Jonathan-Christofer Demay2009-06-122-2/+6
* Proper patch for frama-cJonathan-Christofer Demay2009-05-043-113/+4
* I've separated two patches for consistency.root2009-05-041-0/+111
* frama-c and why + dependencies new ebuildsroot2009-04-055-0/+462