summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Stable for x86, wrt bug #556418Agostino Sarubbo2015-08-062-3/+6
* Stable for x86, wrt bug #556418Agostino Sarubbo2015-08-061-15/+15
* Updating remote-id in metadata.xmlJustin Lecher2015-08-042-7/+22
* Stable for amd64, wrt bug #556418Agostino Sarubbo2015-08-031-5/+15
* Stable for amd64, wrt bug #556418Agostino Sarubbo2015-08-032-3/+6
* Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3Mark Wright2015-08-021-4/+6
* Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3Mark Wright2015-08-022-1/+37
* Bump agda-stdlib to 2.4.2.3Mark Wright2015-08-021-4/+6
* Bump agda-stdlib to 2.4.2.3Mark Wright2015-08-022-1/+72
* Bump agda to 2.4.2.3-r1Mark Wright2015-08-021-4/+6
* Bump agda to 2.4.2.3-r1Mark Wright2015-08-022-1/+122
* Drop old.Sergei Trofimovich2015-08-021-12/+4
* Drop old.Sergei Trofimovich2015-08-026-428/+7
* Drop old.Sergei Trofimovich2015-08-021-21/+6
* Drop old.Sergei Trofimovich2015-08-023-142/+5
* Fix building with automake other than 1.13, add slot on gmp.Thomas Kahle2015-08-011-17/+5
* Fix building with automake other than 1.13, add slot on gmp.Thomas Kahle2015-08-012-4/+7
* Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ...Mark Wright2015-07-101-5/+5
* Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ...Mark Wright2015-07-102-4/+11
* Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n...Mark Wright2015-07-091-5/+6
* Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n...Mark Wright2015-07-093-5/+36
* Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b...Mark Wright2015-07-071-21/+14
* Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b...Mark Wright2015-07-0710-15/+479
* version bump: close bug 553942, thanks to OGINO MasanoriJauhien Piatlicki2015-07-051-14/+16
* version bump: close bug 553942, thanks to OGINO MasanoriJauhien Piatlicki2015-07-052-1/+109
* Remove slot operators from || () block where they are broken.Michał Górny2015-07-051-6/+18
* Remove slot operators from || () block where they are broken.Michał Górny2015-07-053-7/+11
* Version bumpAndrey Grozin2015-06-291-20/+20
* Version bumpAndrey Grozin2015-06-292-3/+9
* Add missing eclassJustin Lecher2015-06-281-25/+3
* Add missing eclassJustin Lecher2015-06-283-8/+12
* Stable for amd64, wrt bug #553322Agostino Sarubbo2015-06-271-19/+17
* Stable for amd64, wrt bug #553322Agostino Sarubbo2015-06-272-3/+6
* New package sci-mathematics/rw to compute rank-width decompositions of graphs...Michael Orlitzky2015-06-221-1/+24
* New package sci-mathematics/rw to compute rank-width decompositions of graphs...Michael Orlitzky2015-06-224-0/+81
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-14/+28
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-18/+21
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-10/+25
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-1/+26
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-16/+19
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-7/+22
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-18/+21
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-18/+21
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-11/+26
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-15/+20
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-23/+26
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-1/+26
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-11/+26
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-31/+34
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-22/+26