summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Michael Palimaka2015-04-198-158/+23
* Stable for amd64, wrt bug #542666Agostino Sarubbo2015-04-193-22/+23
* x86 stable wrt bug #537864Pacho Ramos2015-04-193-18/+11
* x86 stable wrt bug #516464Pacho Ramos2015-04-183-8/+11
* Slot scalaMark Wright2015-04-176-39/+51
* Version bumpAndrey Grozin2015-04-163-16/+101
* Version bumpAndrey Grozin2015-04-163-8/+219
* Reworked the solution for the netperf collision, dropped the 'find all execut...Ian Stakenvicius2015-04-144-22/+194
* added REQUIRED_USE to properly support the python-optional distutils-r1 requi...Ian Stakenvicius2015-04-103-10/+18
* Took over package maintainership and restored 4.3 version to the tree with no...Ian Stakenvicius2015-04-106-10/+169
* Drop old Python implementationsMichał Górny2015-04-089-39/+74
* Fix TypoJustin Lecher2015-04-076-54/+54
* Fix ntl compatibility (bug 545318)Thomas Kahle2015-04-054-9/+28
* Remove old.Michael Palimaka2015-04-044-186/+22
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-043-9/+13
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-034-5/+136
* Restrict ntl dep #545318Patrick Lauer2015-04-033-15/+8
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-023-19/+81
* x86 stable wrt bug #406773Mikle Kolyada2015-03-293-18/+13
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-273-7/+30
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-273-15/+24
* Fix ntl8 compatibilityThomas Kahle2015-03-264-8/+52
* restrict ntl depThomas Kahle2015-03-266-28/+24
* Restrict ntl depThomas Kahle2015-03-263-7/+11
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-253-18/+21
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell...Mark Wright2015-03-256-20/+26
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-243-10/+23
* remove oldThomas Kahle2015-03-224-344/+6
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-223-20/+23
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to e...Justin Lecher2015-03-213-21/+40
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-215-116/+66
* Fix desktop fileJustin Lecher2015-03-203-10/+24
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-134-6/+112
* Fix prefix paths #466852Patrick Lauer2015-03-113-8/+11
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-103-8/+12
* bump to 4.0.2Thomas Kahle2015-03-094-20/+172
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-093-8/+21
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-094-16/+78
* Version bumpAndrey Grozin2015-03-073-21/+27
* Bump to 2.14Thomas Kahle2015-03-053-5/+71
* Drop RESTRICT=binchecks in favour of QA_Justin Lecher2015-03-054-28/+30
* Fix gcc-4.9 compatibility (bug 541238)Thomas Kahle2015-03-034-10/+84
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-014-7/+24
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-2811-50/+119
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-276-33/+101
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-223-21/+24
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-223-22/+15
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-156-13/+74
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-313-23/+24
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-306-104/+13