| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch... |   Mark Wright | 2015-02-15 | 6 | -13/+74 |
| * | Stable for amd64, wrt bug #406773 |   Agostino Sarubbo | 2015-01-31 | 3 | -23/+24 |
| * | Remove old version with unsatisfied dependencies |   Patrick Lauer | 2015-01-30 | 6 | -104/+13 |
| * | Switch to CPU_FLAGS_X86. |   Michał Górny | 2015-01-29 | 4 | -21/+37 |
| * | Bump to 2.12.2, cleanup |   Thomas Kahle | 2015-01-29 | 5 | -110/+18 |
| * | Drop old patches | Mark Wright | 2015-01-29 | 7 | -128/+18 |
| * | Drop old with now unsatisfied dep on dev-haskell/hashtables | Patrick Lauer | 2015-01-29 | 6 | -377/+7 |
| * | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... | Mark Wright | 2015-01-25 | 6 | -19/+629 |
| * | Fix imagemagick/graphicsmagick sub-SLOT deps. |   Jeroen Roovers | 2015-01-07 | 4 | -26/+20 |
| * | Use python-any-r1 for waf. | Michał Górny | 2015-01-03 | 3 | -11/+33 |
| * | Rename virtual/postgresql to dev-db/postgresql |   Aaron Swenson | 2014-12-28 | 4 | -11/+15 |
| * | sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leio |   Justin Lecher | 2014-12-26 | 4 | -20/+84 |
| * | 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec... |   Andrey Grozin | 2014-12-25 | 3 | -19/+30 |
| * | Adding a missing patch (#533202) | Andrey Grozin | 2014-12-22 | 3 | -16/+48 |
| * | Version bump | Andrey Grozin | 2014-12-20 | 7 | -28/+328 |
| * | Bump agda-stdlib to 0.9 | Mark Wright | 2014-12-14 | 3 | -6/+80 |
| * | Bump agda to 2.4.2.2-r1 | Mark Wright | 2014-12-14 | 4 | -7/+143 |
| * | drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316 |   Matthias Maier | 2014-12-06 | 4 | -23/+73 |
| * | Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ... | Mark Wright | 2014-12-06 | 15 | -171/+391 |
| * | sci-mathematics/singular: Drop old | Justin Lecher | 2014-12-05 | 8 | -926/+33 |
| * | Stable for x86, wrt bug #529536 | Agostino Sarubbo | 2014-12-05 | 3 | -18/+21 |
| * | Stable for ppc64, wrt bug #528002 | Agostino Sarubbo | 2014-12-04 | 3 | -18/+21 |
| * | Stable for ppc, wrt bug #529536 | Agostino Sarubbo | 2014-12-03 | 3 | -18/+21 |
| * | version bump | Matthias Maier | 2014-12-01 | 3 | -19/+109 |
| * | Set the maintainer. | Mark Wright | 2014-11-29 | 3 | -20/+12 |
| * | update deps for ocaml 4.02 |   Alexis Ballier | 2014-11-28 | 3 | -7/+11 |
| * | Stable for amd64, wrt bug #529536 | Agostino Sarubbo | 2014-11-26 | 3 | -9/+22 |
| * | drop maintainership |   Julian Ospald | 2014-11-25 | 3 | -21/+22 |
| * | drop maintainership | Julian Ospald | 2014-11-25 | 3 | -15/+25 |
| * | Stable for x86, wrt bug #528002 | Agostino Sarubbo | 2014-11-25 | 3 | -18/+21 |
| * | Version bump | Andrey Grozin | 2014-11-24 | 3 | -21/+27 |
| * | Clarify AT_NO_RECURSIVE usage. |   Mike Frysinger | 2014-11-21 | 3 | -7/+21 |
| * | Fix bug 518000 (thanks Alexander Tsoy), remove old. | Thomas Kahle | 2014-11-14 | 4 | -49/+12 |
| * | Stable for ppc, wrt bug #528002 | Agostino Sarubbo | 2014-11-10 | 3 | -8/+21 |
| * | Remove unneeded useflag descriptions from metadata.xml | Patrick Lauer | 2014-11-07 | 3 | -29/+7 |
| * | Drop old EAPI=1 version |   Andreas Hüttel | 2014-11-06 | 3 | -120/+22 |
| * | Stable for HPPA (bug #528002). | Jeroen Roovers | 2014-11-06 | 3 | -18/+11 |
| * | Update PostgreSQL dependencies and/or checks to virtual/postgresql. | Aaron Swenson | 2014-11-03 | 4 | -13/+17 |
| * | Stable for amd64, wrt bug #528002 | Agostino Sarubbo | 2014-11-03 | 3 | -20/+21 |
| * | Bump coq to 8.4pl5 | Mark Wright | 2014-11-03 | 3 | -17/+110 |
| * | sci-mathematics/dataplot: Drop bashisms from configure.ac, #526888 | Justin Lecher | 2014-10-26 | 5 | -31/+41 |
| * | bump to 2.12.1 | Thomas Kahle | 2014-10-25 | 4 | -5/+124 |
| * | Version bump, no einstall (#521650), docompress (#176411) | Andrey Grozin | 2014-09-14 | 3 | -16/+213 |
| * | Bump | Patrick Lauer | 2014-09-10 | 3 | -2/+50 |
| * | Require llvm < 3.5 because of API incompatibility. | Michał Górny | 2014-09-09 | 5 | -14/+30 |
| * | Bump octave to 3.8.2, fixes bump request Bug 520368, thanks to mrueg for repo... | Mark Wright | 2014-09-07 | 4 | -8/+183 |
| * | Remove := subslot operator from || () block since it is meaningless and broken. | Michał Górny | 2014-09-01 | 3 | -9/+25 |
| * | Stable for amd64 wrt bug #516464 |   José María Alonso | 2014-08-30 | 3 | -21/+16 |
| * | Version bump | Andrey Grozin | 2014-08-28 | 3 | -16/+220 |
| * | version bump | Julian Ospald | 2014-08-27 | 3 | -16/+177 |
GitWeb
