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
* 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
* ÿorick bumpSébastien Fabbro2011-01-084-7/+14
* maxima gone in treeSébastien Fabbro2011-01-0814-942/+0
* updated to latest petsc patchsetJens-Malte Gottfried2011-01-064-141/+39
* Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sciSébastien Fabbro2010-12-185-0/+100
|\
| * [sci-mathematics/dolfin] Initial import.Nico Schlömer2010-12-185-0/+100
* | moved to main treeSébastien Fabbro2010-12-1814-340/+0
|/
* Removal of fortran.eclass, #348851Justin Lecher2010-12-163-6/+18
* [sci-mathematics/ufc] added ChangeLog, QA fixesNico Schlömer2010-12-133-1/+13
* [sci-mathematics/ufc] Initial commit for UFC 1.4.2Nico Schlömer2010-12-133-0/+28
* added jagsSébastien Fabbro2010-12-044-0/+64
* use original hypre download linkJens-Malte Gottfried2010-11-243-3/+8
* disabled libpetsc.so RPATHJens-Malte Gottfried2010-11-249-25/+36
* fixed metadataJens-Malte Gottfried2010-11-243-6/+3