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
* sci-mathematics/frama-c: Drop ~x86 keywordMarius Brehler2016-06-151-2/+2
| | | | Package-Manager: portage-2.2.28
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-40/+0
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/frama-c: Add subslot operatorsJustin Lecher2015-09-212-18/+20
| | | | | Package-Manager: portage-2.2.20.1 Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-172-2/+2
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
| | | | This reverts commit 98718494343af4990facdefb0033471686e975a6.
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-4/+0
|
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+4
|
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-192-6/+2
|
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-224-27/+19
|
* multiple version bumpsJonathan-Christofer Demay2014-06-228-259/+309
|
* sci-mathematics/frama-c: version bumpAndrew Savchenko2014-02-245-1/+230
| | | | | | Upgrade to EAPI 5. Fix build with make >= 4.0. Support build with recent ocaml-4.01.
* Sanitize ebuild headerJustin Lecher2014-01-301-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* 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