summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bump (thanks Helmut Jarausch, bug 555732).Michael Weber2015-08-083-5/+87
* Revbump to cmakeargs variable name, adjust policy for cmake-3.3 and fix subdi...Michael Weber2015-08-085-8/+117
* Stable for amd64, wrt bug #554066Agostino Sarubbo2015-08-063-8/+21
* Stable for x86, wrt bug #556418Agostino Sarubbo2015-08-063-18/+21
* Updating remote-id in metadata.xmlJustin Lecher2015-08-042-7/+22
* Stable for amd64, wrt bug #556418Agostino Sarubbo2015-08-033-8/+21
* Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3Mark Wright2015-08-023-5/+43
* Bump agda-stdlib to 2.4.2.3Mark Wright2015-08-023-5/+78
* Bump agda to 2.4.2.3-r1Mark Wright2015-08-023-5/+128
* Drop old.Sergei Trofimovich2015-08-0211-603/+22
* Fix building with automake other than 1.13, add slot on gmp.Thomas Kahle2015-08-013-21/+12
* Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ...Mark Wright2015-07-103-9/+16
* Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n...Mark Wright2015-07-094-10/+42
* Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b...Mark Wright2015-07-0711-36/+493
* version bump: close bug 553942, thanks to OGINO MasanoriJauhien Piatlicki2015-07-053-15/+125
* Remove slot operators from || () block where they are broken.Michał Górny2015-07-054-13/+29
* Version bumpAndrey Grozin2015-06-293-23/+29
* Add missing eclassJustin Lecher2015-06-284-33/+15
* Stable for amd64, wrt bug #553322Agostino Sarubbo2015-06-273-22/+23
* New package sci-mathematics/rw to compute rank-width decompositions of graphs...Michael Orlitzky2015-06-223-1/+93
* New package sci-mathematics/rw to compute rank-width decompositions of graphs...Michael Orlitzky2015-06-222-0/+12
* Updating remote-id in metadata.xmlJustin Lecher2015-06-1538-250/+491
* Remove old.Manuel Rüger2015-06-115-85/+8
* bump to 1.6.6Thomas Kahle2015-06-093-5/+50
* bump to 1.6.5Thomas Kahle2015-06-053-2/+57
* virtual/glu is needed (#514548)Pacho Ramos2015-06-043-6/+20
* Port to upcoming ghc-7.10.Sergei Trofimovich2015-06-013-10/+13
* Stable for x86, wrt bug #549972Agostino Sarubbo2015-05-273-18/+21
* Stable for amd64, wrt bug #549972Agostino Sarubbo2015-05-273-8/+21
* Bump to 28.6 (bug 549972)Thomas Kahle2015-05-253-19/+81
* sys-proclaim is now on unconditionally, closing #548060Andrey Grozin2015-05-033-23/+22
* Version bumpAndrey Grozin2015-05-013-21/+27
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o...Mark Wright2015-05-013-4/+22
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu...Mark Wright2015-05-013-35/+29
* WhitespacePatrick Lauer2015-04-293-5/+7
* BumpPatrick Lauer2015-04-293-3/+51
* Change repository location for -9999Patrick Lauer2015-04-293-7/+11
* Changing wxMaxima -> wxmaxima in new places, #547548Andrey Grozin2015-04-283-20/+31
* Fix collision (bug 547030), remove old.Thomas Kahle2015-04-265-116/+24
* remove oldThomas Kahle2015-04-246-203/+11
* Drop oldJustin Lecher2015-04-2211-652/+19
* Drop oldJustin Lecher2015-04-2226-2470/+94
* ppc stable wrt bug #406779Pacho Ramos2015-04-213-8/+11
* ppc stable wrt bug #406773Pacho Ramos2015-04-213-21/+12
* x86 stable wrt bug #406779Pacho Ramos2015-04-213-21/+12
* x86 stable wrt bug #542666Pacho Ramos2015-04-213-18/+11
* x86 stable wrt bug #542572Pacho Ramos2015-04-213-20/+11
* 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