summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix the library version of the ecls maxima needed by sage (bug #499634), than...Andrey Grozin2014-01-291-15/+17
* Fix the library version of the ecls maxima needed by sage (bug #499634), than...Andrey Grozin2014-01-293-1/+235
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-271-18/+16
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-273-144/+10
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-261-7/+15
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-262-3/+6
* 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