Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/frama-c/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Update Manifests to new hashesJustin Lecher2017-12-101-1/+1
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-4/+0
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+4
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-191-4/+0
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-221-3/+3
* multiple version bumpsJonathan-Christofer Demay2014-06-221-2/+5
* sci-mathematics/frama-c: version bumpAndrew Savchenko2014-02-241-0/+1
* manifests fixesSébastien Fabbro2013-06-131-3/+0
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2013-01-141-4/+4
* sci-mathematics/frama-c: fix install with doc USE flagJonathan-Christofer Demay2012-03-171-1/+1
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2012-02-061-1/+4
* 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-031-1/+1
* sci-mathematics/frama-c: manifest for typoJonathan-Christofer Demay2011-05-121-1/+1
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2011-05-111-16/+3
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-071-3/+13
* sci-mathematics/frama-c: fix install docJonathan-Christofer Demay2011-02-281-2/+1
* sci-mathematics/frama-c: temporary retro-compatibility patchJonathan-Christofer Demay2011-02-231-1/+2
* sci-mathematics/frama-c: keep previous version for nowJonathan-Christofer Demay2011-02-231-0/+3
* sci-mathematics/frama-c: previous beta compatible whyJonathan-Christofer Demay2011-02-141-3/+3
* sci-mathematics/frama-c: clean-upJonathan-Christofer Demay2011-02-141-1/+1
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2011-02-141-4/+3
* sci-mathematics/frama-c: remove no-longer-needed patchJonathan-Christofer Demay2010-10-291-2/+1
* sci-mathematics/frama-c: various EAPI3 cleanupsJonathan-Christofer Demay2010-10-191-1/+1
* sci-mathematics/frama-c: fixes ManifestJonathan-Christofer Demay2010-10-081-2/+2
* sci-mathematics/frama-c: EAPI3 cleanupsJonathan-Christofer Demay2010-10-041-22/+2
* [sci-mathematics/frama-c] Dropped ~sparc since dependencies cannot be fulfilled.Andreas K. Huettel (dilfridge)2010-07-111-2/+22
* sci-mathematics/frama-c: Version bumpJonathan-Christofer Demay2010-07-081-28/+6
* [sci-mathematics/frama-c] QA fixesAndreas K. Huettel (dilfridge)2010-06-221-1/+23
* sci-mathematics/frama-c/files/frama-c-20090901-always_init.patchJonathan-Christofer Demay2009-12-111-1/+1
* sci-mathematics/frama-c-20090901: always_init.patchJonathan-Christofer Demay2009-11-251-2/+2
* sci-mathematics/frama-c-20090901: always_define.patchJonathan-Christofer Demay2009-11-241-2/+2
* sci-mathematics/frama-c-20090901: init_locals_defined.patchJonathan-Christofer Demay2009-11-231-1/+2
* more eapi2 updatesJonathan-Christofer Demay2009-10-241-1/+1
* various eapi2 updatesJonathan-Christofer Demay2009-10-241-1/+1
* dropping sci-mathematics/pvs: unmaintained mainstream and PITA to maintain in...Jonathan-Christofer Demay2009-10-151-1/+1
* sci-mathematics/frama-c: varinfo_export patchJonathan-Christofer Demay2009-10-121-2/+2
* Another bunch of updates related to Frama-CJonathan-Christofer Demay2009-09-221-2/+1
* Various updates related to Frama-C.Jonathan-Christofer Demay2009-09-221-9/+6
* Various updates related to sci-mathematics/frama-cJonathan-Christofer Demay2009-09-081-6/+9
* frama-c: more clean ups.Jonathan-Christofer Demay2009-06-121-2/+2
* Proper patch for frama-cJonathan-Christofer Demay2009-05-041-2/+3
* frama-c and why + dependencies new ebuildsroot2009-04-051-0/+5