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 (Collapse)AuthorAgeFilesLines
* big fixes of metadata and package sub-herd re-distributionSébastien Fabbro2013-06-181-18/+10
|
* manifests fixesSébastien Fabbro2013-06-131-3/+0
|
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2013-01-144-22/+23
|
* sci-mathematics/frama-c: fix install with doc USE flagJonathan-Christofer Demay2012-03-172-9/+2
|
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2012-02-064-5/+14
|
* Convert to thin manifests (as suggested by alexxy and jlec)Andreas K. Huettel (dilfridge)2012-01-141-3/+0
|
* switch sci herd to sci-* sub herds, full overlay re-manifestSébastien Fabbro2012-01-032-2/+2
|
* sci-mathematics/frama-c: manifest for typoJonathan-Christofer Demay2011-05-121-1/+1
|
* sci-mathematics/frama-c: fix ebuild typoJonathan-Christofer Demay2011-05-121-5/+5
|
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2011-05-115-141/+17
|
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-074-26/+50
| | | | (Portage version: 2.2.0_alpha26/git/Linux x86_64, signed Manifest commit with key 70EB7916)
* sci-mathematics/frama-c: fix install docJonathan-Christofer Demay2011-02-283-130/+9
|
* sci-mathematics/frama-c: temporary retro-compatibility patchJonathan-Christofer Demay2011-02-233-1/+129
|
* sci-mathematics/frama-c: keep previous version for nowJonathan-Christofer Demay2011-02-233-0/+102
|
* sci-mathematics/frama-c: previous beta compatible whyJonathan-Christofer Demay2011-02-143-4/+4
|
* sci-mathematics/frama-c: clean-upJonathan-Christofer Demay2011-02-142-4/+3
|
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2011-02-144-44/+14
|
* sci-mathematics/frama-c: remove no-longer-needed patchJonathan-Christofer Demay2010-10-293-127/+3
|
* sci-mathematics/frama-c: various EAPI3 cleanupsJonathan-Christofer Demay2010-10-192-2/+2
|
* sci-mathematics/frama-c: fixes ManifestJonathan-Christofer Demay2010-10-082-3/+3
|
* sci-mathematics/frama-c/frama-c-20100401.ebuild: EAPI3 typosJonathan-Christofer Demay2010-10-081-2/+2
|
* sci-mathematics/frama-c: EAPI3 cleanupsJonathan-Christofer Demay2010-10-042-27/+7
|
* [sci-mathematics/frama-c] Dropped ~sparc since dependencies cannot be fulfilled.Andreas K. Huettel (dilfridge)2010-07-113-3/+27
| | | | | (Portage version: 2.1.8.3/git/Linux x86_64) (Signed Manifest commit)
* 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
| | | | | (Portage version: 2.1.8.3/git/Linux x86_64) (Signed Manifest commit)
* 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 ↵Jonathan-Christofer Demay2009-10-152-3/+2
| | | | in portage
* sci-mathematics/frama-c: varinfo_export patchJonathan-Christofer Demay2009-10-122-3/+3
| | | | dev-ml/ocamlgraph: eapi2 fix
* 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