summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...Mark Wright2012-11-181-9/+11
* Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...Mark Wright2012-11-182-2/+66
* Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2Mark Wright2012-11-181-2/+13
* Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2Mark Wright2012-11-182-1/+43
* Bump agda to 2.3.2Mark Wright2012-11-181-4/+6
* Bump agda to 2.3.2Mark Wright2012-11-182-1/+100
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-181-2/+14
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-183-1/+127
* Adding mpi supportPatrick Lauer2012-11-161-2/+2
* Adding mpi supportPatrick Lauer2012-11-162-3/+10
* Adding ecm supportPatrick Lauer2012-11-161-3/+3
* Adding ecm supportPatrick Lauer2012-11-163-6/+11
* Initial import, ebuild by mePatrick Lauer2012-11-161-1/+2
* Initial import, ebuild by mePatrick Lauer2012-11-164-0/+40
* Initial import, ebuild by mePatrick Lauer2012-11-161-1/+2
* Initial import, ebuild by mePatrick Lauer2012-11-164-0/+66
* Bump to 2.8Thomas Kahle2012-11-121-13/+16
* Bump to 2.8Thomas Kahle2012-11-123-3/+131
* sci-mathematics/cgal: Addmissing dep on virtual/glu, #438504Justin Lecher2012-11-091-6/+6
* sci-mathematics/cgal: Addmissing dep on virtual/glu, #438504Justin Lecher2012-11-093-12/+21
* Fix maxima-rmaxima.patch for cases when maxima is compiled by several lisps, ...Andrey Grozin2012-10-301-2/+2
* Fix maxima-rmaxima.patch for cases when maxima is compiled by several lisps, ...Andrey Grozin2012-10-302-13/+23
* Version bumpSebastien Fabbro2012-10-261-15/+8
* Version bumpSebastien Fabbro2012-10-264-1/+343
* Add ~x86-fbsd. #303915Naohiro Aota2012-10-251-6/+16
* Add ~x86-fbsd. #303915Naohiro Aota2012-10-252-3/+6
* Update dependency after package move from x11-libs/openmotif to x11-libs/motif.Ulrich Müller2012-10-241-5/+15
* Update dependency after package move from x11-libs/openmotif to x11-libs/motif.Ulrich Müller2012-10-242-3/+7
* drop GNU Emacs support as it is not compatible with Emacs 24 (see bug 419457)...Christian Faulhammer2012-10-221-11/+11
* drop GNU Emacs support as it is not compatible with Emacs 24 (see bug 419457)...Christian Faulhammer2012-10-227-69/+22
* Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z sho...Mark Wright2012-10-221-6/+5
* Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z sho...Mark Wright2012-10-222-3/+7
* x86 stable wrt bug #436318Paweł Hajdan2012-10-171-5/+5
* x86 stable wrt bug #436318Paweł Hajdan2012-10-172-3/+6
* sci-mathematics/dataplot: Remove virtual/fortran and always call fortran-2_pk...Justin Lecher2012-10-161-6/+7
* sci-mathematics/dataplot: Remove virtual/fortran and always call fortran-2_pk...Justin Lecher2012-10-163-7/+10
* sci-mathematics/scilab: Remove virtual/fortran and always call fortran-2_pkg_...Justin Lecher2012-10-161-28/+25
* sci-mathematics/scilab: Remove virtual/fortran and always call fortran-2_pkg_...Justin Lecher2012-10-164-18/+20
* Bump to 3.3.0 per bug 436942.Thomas Kahle2012-10-151-4/+16
* Bump to 3.3.0 per bug 436942.Thomas Kahle2012-10-152-2/+50
* stable ppc ppc64, bug #436318Anthony G. Basile2012-10-091-2/+12
* stable ppc ppc64, bug #436318Anthony G. Basile2012-10-092-3/+6
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-071-8/+18
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-6/+5
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-071-12/+12
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-7/+4
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-061-6/+6
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-063-4/+14
* Stable for amd64, wrt bug #436318Agostino Sarubbo2012-10-031-12/+2
* Stable for amd64, wrt bug #436318Agostino Sarubbo2012-10-032-3/+6