Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/scilab-5.3.2.ebuild: ebuild fixesGuillaume Horel2011-06-154-13/+23
* [sci-mathematics/scilab] version bump to 5.3.2Guillaume Horel2011-06-105-2/+199
* sci-mathematics/cadabra: version bump to 1.29Dongxu Li2011-06-033-1/+93
* sci-mathematics/giac: QA fixesJonathan-Christofer Demay2011-05-163-0/+28
* sci-mathematics/giac: fix manifestJonathan-Christofer Demay2011-05-161-1/+1
* sci-mathematics/giac: fix when no fltkJonathan-Christofer Demay2011-05-122-2/+11
* sci-mathematics/giac: new ebuildJonathan-Christofer Demay2011-05-122-0/+50
* 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/why: version bumpJonathan-Christofer Demay2011-05-113-4/+8
* sci-mathematics/frama-c: version bumpJonathan-Christofer Demay2011-05-115-141/+17
* sci-mathematics/flocq: version bumpJonathan-Christofer Demay2011-05-113-5/+9
* sci-mathematics/apron: fix doc buildingJonathan-Christofer Demay2011-05-113-4/+4
* update for petsc-3.1_p8 from bug 53386Joshua Rich2011-04-193-1/+209
* sci-mathematics/gambit: new category, moved from sci-miscDongxu Li2011-04-164-0/+73
* Merge branch 'master' of ssh://git.overlays.gentoo.org/proj/sciDongxu Li2011-04-133-12/+22
|\
| * Fix for python ABI stuffJustin Lecher2011-04-133-12/+22
* | sci-mathematics/acl2: have to build books in placeDongxu Li2011-04-133-15/+15
|/
* sci-mathematics/acl2: fixed certificate dirDongxu Li2011-04-124-33/+50
* Slightly streamlined ebuildJustin Lecher2011-04-123-37/+36
* sci-mathematics/acl2: industrial strength theorem prover, #49316Dongxu Li2011-04-124-0/+84
* sci-mathematics/cadabra: version bump to 1.28. Fixed dev-cpp/pangommDongxu Li2011-04-114-13/+95
* Corrected Slot of fltk to 1Justin Lecher2011-04-053-5/+19
* added petsc-3.1_p8 ebuildJens-Malte Gottfried2011-03-194-1/+198
* added hypre-2.7.0bJens-Malte Gottfried2011-03-195-6/+74
* Moved media-libs/jpeg -> virtual/jpegJustin Lecher2011-03-143-5/+18
* Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sciJustin Lecher2011-03-104-84/+0
|\
| * [sci-mathematics/octave-epstk] in the main treeSébastien Fabbro2011-03-094-84/+0
* | Version Bump, Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-103-17/+31
|/
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-074-26/+50
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-074-25/+28
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-073-5/+27
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-073-15/+29
* sci-mathematics/frama-c: fix install docJonathan-Christofer Demay2011-02-283-130/+9
* Live ebuild updatedThomas Kahle2011-02-263-27/+30
* 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/gappalib-coq: sci-mathematics/flocq added as a dependencyJonathan-Christofer Demay2011-02-172-2/+3
* sci-mathematics/gappa: bogus manifest fixedJonathan-Christofer Demay2011-02-171-1/+1
* sci-mathematics/why: version bumpJonathan-Christofer Demay2011-02-144-26/+48
* 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/gappalib-coq: version bumpJonathan-Christofer Demay2011-02-133-5/+9
* sci-mathematics/flocq: new packageJonathan-Christofer Demay2011-02-134-0/+54
* sci-mathematics/gappa: version bumpJonathan-Christofer Demay2011-02-133-25/+15
* sci-mathematics/apron: doc generation for cxx fixed using dev-tex/rubberJonathan-Christofer Demay2011-02-133-23/+10
* Moved sci-math/jags to main tree per bug 317741Thomas Kahle2011-02-124-64/+0
* synchronize polybori with s-o-g overlayFrançois Bissey2011-01-117-109/+231
* Remove singular - now in treeFrançois Bissey2011-01-1110-567/+0