| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Bump agda stdlib to a development snapshot, which I just name ↵ |   Mark Wright | 2012-11-18 | 3 | -11/+77 |
| | | | | | | | | 0.7_pre20121118 because I have to call it something, for agda 2.3.2. Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2 | Mark Wright | 2012-11-18 | 3 | -3/+56 |
| | | | | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Bump agda to 2.3.2 | Mark Wright | 2012-11-18 | 3 | -5/+106 |
| | | | | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with ↵ | Mark Wright | 2012-11-18 | 4 | -3/+141 |
| | | | | | | | | quickcheck 2.5 Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Adding mpi support |   Patrick Lauer | 2012-11-16 | 3 | -5/+12 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Adding ecm support | Patrick Lauer | 2012-11-16 | 4 | -9/+14 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Initial import, ebuild by me | Patrick Lauer | 2012-11-16 | 3 | -1/+30 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Initial import, ebuild by me | Patrick Lauer | 2012-11-16 | 2 | -0/+12 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Initial import, ebuild by me | Patrick Lauer | 2012-11-16 | 3 | -1/+56 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Initial import, ebuild by me | Patrick Lauer | 2012-11-16 | 2 | -0/+12 |
| | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 | ||||
| * | Bump to 2.8 |   Thomas Kahle | 2012-11-12 | 4 | -16/+147 |
| | | | | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC | ||||
| * | sci-mathematics/cgal: Addmissing dep on virtual/glu, #438504 |   Justin Lecher | 2012-11-09 | 4 | -18/+27 |
| | | | | | | Package-Manager: portage-2.2.0_alpha142/cvs/Linux x86_64 Manifest-Sign-Key: 0x70EB7916 | ||||
| * | Fix maxima-rmaxima.patch for cases when maxima is compiled by several lisps, ↵ |   Andrey Grozin | 2012-10-30 | 3 | -15/+25 |
| | | | | | | | some support readline, some not Package-Manager: portage-2.2.0_alpha142/cvs/Linux i686 | ||||
| * | Version bump |   Sebastien Fabbro | 2012-10-26 | 5 | -16/+351 |
| | | | | | Package-Manager: portage-2.2.01.21165-prefix/cvs/Linux x86_64 | ||||
| * | Add ~x86-fbsd. #303915 |   Naohiro Aota | 2012-10-25 | 3 | -9/+22 |
| | | | | | Package-Manager: portage-2.2.0_alpha137/cvs/Linux x86_64 | ||||
| * | Update dependency after package move from x11-libs/openmotif to x11-libs/motif. |   Ulrich Müller | 2012-10-24 | 3 | -8/+22 |
| | | | | | | Package-Manager: portage-2.1.11.30/cvs/Linux x86_64 Manifest-Sign-Key: 0xE7BE08CA7DC6EA25 | ||||
| * | drop GNU Emacs support as it is not compatible with Emacs 24 (see bug ↵ |   Christian Faulhammer | 2012-10-22 | 8 | -80/+33 |
| | | | | | | | 419457), also remove som disfunctional rests from newer ebuilds Package-Manager: portage-2.1.11.9/cvs/Linux i686 | ||||
| * | Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z ↵ | Mark Wright | 2012-10-22 | 3 | -9/+12 |
| | | | | | | | | should be -n. Package-Manager: portage-2.1.11.30/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | x86 stable wrt bug #436318 |   Paweł Hajdan | 2012-10-17 | 3 | -8/+11 |
| | | | | | Package-Manager: portage-2.1.11.9/cvs/Linux i686 | ||||
| * | sci-mathematics/dataplot: Remove virtual/fortran and always call ↵ | Justin Lecher | 2012-10-16 | 4 | -13/+17 |
| | | | | | | | | fortran-2_pkg_setup as intend by the updated fortran-2.eclass Package-Manager: portage-2.2.0_alpha138/cvs/Linux x86_64 Manifest-Sign-Key: 0x70EB7916 | ||||
| * | sci-mathematics/scilab: Remove virtual/fortran and always call ↵ | Justin Lecher | 2012-10-16 | 5 | -46/+45 |
| | | | | | | | | fortran-2_pkg_setup as intend by the updated fortran-2.eclass Package-Manager: portage-2.2.0_alpha138/cvs/Linux x86_64 Manifest-Sign-Key: 0x70EB7916 | ||||
| * | Bump to 3.3.0 per bug 436942. | Thomas Kahle | 2012-10-15 | 3 | -6/+66 |
| | | | | | | Package-Manager: portage-2.1.11.27/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC | ||||
| * | stable ppc ppc64, bug #436318 |   Anthony G. Basile | 2012-10-09 | 3 | -5/+18 |
| | | | | | Package-Manager: portage-2.1.11.9/cvs/Linux x86_64 | ||||
| * | Drop maintainer due retirement, #24135. |   Pacho Ramos | 2012-10-07 | 2 | -20/+30 |
| | | | | | | Package-Manager: portage-2.1.11.24/cvs/Linux x86_64 Manifest-Sign-Key: 0xA188FBD4 | ||||
| * | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 4 | -13/+9 |
| | | | | | Package-Manager: portage-2.1.11.24/cvs/Linux x86_64 | ||||
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. |   Alexis Ballier | 2012-10-06 | 4 | -10/+20 |
| | | | | | Package-Manager: portage-2.2.0_alpha135/cvs/Linux x86_64 | ||||
| * | Stable for amd64, wrt bug #436318 |   Agostino Sarubbo | 2012-10-03 | 3 | -15/+8 |
| | | | | | Package-Manager: portage-2.1.11.9/cvs/Linux x86_64 | ||||
| * | Sed some more files for Prefix, bug #433379 |   Fabian Groffen | 2012-09-29 | 3 | -15/+19 |
| | | | | | Package-Manager: portage-2.2.01.21143-prefix/cvs/Darwin i386 | ||||
| * | Marked ~hppa (bug #436318). |   Jeroen Roovers | 2012-09-26 | 3 | -12/+11 |
| | | | | | Package-Manager: portage-2.2.0_alpha133/cvs/Linux x86_64 | ||||
| * | fix URI_SRC and manifest |   Benda XU | 2012-09-26 | 4 | -8/+12 |
| | | | | | Package-Manager: portage-2.1.10.65/cvs/Linux x86_64 | ||||
| * | new ebuild | Benda XU | 2012-09-26 | 5 | -0/+76 |
| | | | | | Package-Manager: portage-2.1.10.65/cvs/Linux x86_64 | ||||
| * | Fixing a stupid typo | Andrey Grozin | 2012-09-26 | 3 | -9/+11 |
| | | | | | Package-Manager: portage-2.2.0_alpha133/cvs/Linux i686 | ||||
| * | add ~amd64, wrt to bug #435746 | Agostino Sarubbo | 2012-09-26 | 3 | -6/+8 |
| | | | | | Package-Manager: portage-2.1.11.9/cvs/Linux x86_64 | ||||
| * | Fixing blas dependency, restructuring patches | Andrey Grozin | 2012-09-26 | 7 | -46/+55 |
| | | | | | Package-Manager: portage-2.2.0_alpha131/cvs/Linux i686 | ||||
| * | New USE flag doc; build with USE=-fox fixed | Andrey Grozin | 2012-09-21 | 4 | -5/+47 |
| | | | | | Package-Manager: portage-2.2.0_alpha130/cvs/Linux i686 | ||||
| * | Initial import | Andrey Grozin | 2012-09-20 | 5 | -0/+108 |
| | | | | | Package-Manager: portage-2.2.0_alpha129/cvs/Linux i686 | ||||
| * | Bump E to 1.6 Tiger Hill | Mark Wright | 2012-09-20 | 2 | -2/+137 |
| | | | | | Package-Manager: portage-2.1.11.18/cvs/Linux x86_64 | ||||
| * | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 5 | -37/+45 |
| | | | | | Package-Manager: portage-2.1.11.18/cvs/Linux x86_64 | ||||
| * | Version bump | Andrey Grozin | 2012-09-18 | 4 | -12/+24 |
| | | | | | Package-Manager: portage-2.2.0_alpha129/cvs/Linux i686 | ||||
| * | Version bump, closing #435096 | Andrey Grozin | 2012-09-16 | 3 | -19/+77 |
| | | | | | Package-Manager: portage-2.2.0_alpha128/cvs/Linux i686 | ||||
| * | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to ↵ |   Alexander Vershilov | 2012-09-12 | 3 | -6/+10 |
| | | | | | | | mirror://hackage Package-Manager: portage-2.2.0_alpha125/cvs/Linux x86_64 | ||||
| * | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage | Alexander Vershilov | 2012-09-12 | 5 | -51/+34 |
| | | | | | Package-Manager: portage-2.2.0_alpha125/cvs/Linux x86_64 | ||||
| * | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, ↵ | Andrey Grozin | 2012-08-25 | 6 | -23/+40 |
| | | | | | | | thanks to RCV <reich-cv@yandex.ru>) Package-Manager: portage-2.2.0_alpha122/cvs/Linux i686 | ||||
| * | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 4 | -5/+123 |
| | | | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64 | ||||
| * | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 3 | -7/+10 |
| | | | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64 | ||||
| * | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 4 | -17/+68 |
| | | | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64 | ||||
| * | added prefix keywords (bug #349742) |   Christoph Junghans | 2012-08-23 | 3 | -16/+22 |
| | | | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux i686 | ||||
| * | Version bump, cleaning old | Andrey Grozin | 2012-08-15 | 13 | -576/+81 |
| | | | | | Package-Manager: portage-2.2.0_alpha121/cvs/Linux i686 | ||||
| * | Add missing OS-X patch. Thanks Francois Bissey | Thomas Kahle | 2012-08-15 | 3 | -38/+55 |
| | | | | | Package-Manager: portage-2.1.11.10/cvs/Linux x86_64 | ||||
| * | sci-mathematics/spass: Clean residuals from another fix solution | Justin Lecher | 2012-08-10 | 3 | -8/+10 |
| | | | | | Package-Manager: portage-2.2.0_alpha120/cvs/Linux x86_64 | ||||
GitWeb