Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* x86 stable wrt bug #494330Mikle Kolyada2014-01-241-15/+7
* x86 stable wrt bug #494330Mikle Kolyada2014-01-242-3/+6
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-231-10/+22
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-236-20/+117
* Add keywords and fix setting SPatrick Lauer2014-01-231-2/+2
* Add keywords and fix setting SPatrick Lauer2014-01-232-7/+6
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-201-15/+15
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-202-3/+6
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-191-15/+15
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-192-3/+6
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-182-3/+6
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-181-5/+15
* amd64 stable, bug #494330Pacho Ramos2014-01-181-5/+5
* amd64 stable, bug #494330Pacho Ramos2014-01-182-5/+8
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-161-5/+15
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-166-61/+139
* Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...Mark Wright2014-01-151-16/+7
* Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...Mark Wright2014-01-153-30/+446
* BumpPatrick Lauer2014-01-141-3/+3
* BumpPatrick Lauer2014-01-142-5/+11
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-131-11/+4
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-133-2/+152
* Version bumpAndrey Grozin2014-01-111-16/+18
* Version bumpAndrey Grozin2014-01-112-2/+206
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-081-16/+16
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-082-6/+16
* [QA] Change !use by ! use such that it negates the USE flag instead of expand...Tom Wijsman2014-01-071-8/+12
* [QA] Change !use by ! use such that it negates the USE flag instead of expand...Tom Wijsman2014-01-074-11/+21
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-061-8/+18
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-063-37/+40
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+17
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-066-229/+18
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+14
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-062-107/+5
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (...Justin Lecher2014-01-061-8/+18
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (...Justin Lecher2014-01-063-85/+89
* Put in a note that compileWriteUdg.o will take a long time to compile.Robin H. Johnson2013-12-281-2/+2
* Put in a note that compileWriteUdg.o will take a long time to compile.Robin H. Johnson2013-12-282-2/+6
* Bug #492696: version bump.Robin H. Johnson2013-12-281-3/+5
* Bug #492696: version bump.Robin H. Johnson2013-12-282-1/+140
* sci-mathematics/jags: Drop oldJustin Lecher2013-12-241-18/+16
* sci-mathematics/jags: Drop oldJustin Lecher2013-12-243-50/+7
* Stable for x86, wrt bug #487024Agostino Sarubbo2013-12-241-6/+16
* Stable for x86, wrt bug #487024Agostino Sarubbo2013-12-242-3/+6
* fix build with +server wrt #494362Julian Ospald2013-12-231-9/+9
* fix build with +server wrt #494362Julian Ospald2013-12-232-3/+6
* Stable for HPPA (bug #494330).Jeroen Roovers2013-12-221-6/+6
* Stable for HPPA (bug #494330).Jeroen Roovers2013-12-222-4/+7
* version bumpJulian Ospald2013-12-141-9/+15
* version bumpJulian Ospald2013-12-145-1/+305