summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-151-5/+8
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-155-8/+66
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-311-18/+16
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-312-5/+8
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-301-13/+1
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-302-45/+5
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-301-12/+1
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-302-34/+6
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-291-7/+19
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-293-14/+18
* Bump to 2.12.2, cleanupThomas Kahle2015-01-291-9/+6
* Bump to 2.12.2, cleanupThomas Kahle2015-01-294-101/+12
* Drop old patchesMark Wright2015-01-291-6/+11
* Drop old patchesMark Wright2015-01-296-122/+7
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-291-16/+1
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-295-361/+6
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-251-10/+13
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-255-9/+616
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-071-16/+6
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-073-10/+14
* Use python-any-r1 for waf.Michał Górny2015-01-031-6/+18
* Use python-any-r1 for waf.Michał Górny2015-01-032-5/+15
* Rename virtual/postgresql to dev-db/postgresqlAaron W. Swenson2014-12-281-6/+6
* Rename virtual/postgresql to dev-db/postgresqlAaron W. Swenson2014-12-283-5/+9
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-261-17/+19
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-263-3/+65
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-251-16/+16
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-252-3/+14
* Adding a missing patch (#533202)Andrey Grozin2014-12-221-15/+16
* Adding a missing patch (#533202)Andrey Grozin2014-12-222-1/+32
* Version bumpAndrey Grozin2014-12-201-11/+3
* Version bumpAndrey Grozin2014-12-202-1/+82
* Version bumpAndrey Grozin2014-12-201-15/+18
* Version bumpAndrey Grozin2014-12-203-1/+225
* Bump agda-stdlib to 0.9Mark Wright2014-12-141-5/+7
* Bump agda-stdlib to 0.9Mark Wright2014-12-142-1/+73
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-141-6/+8
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-143-1/+135
* drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316Matthias Maier2014-12-061-16/+17
* drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316Matthias Maier2014-12-063-7/+56
* Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ...Mark Wright2014-12-061-14/+20
* Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ...Mark Wright2014-12-0614-157/+371
* sci-mathematics/singular: Drop oldJustin Lecher2014-12-051-30/+19
* sci-mathematics/singular: Drop oldJustin Lecher2014-12-057-896/+14
* Stable for x86, wrt bug #529536Agostino Sarubbo2014-12-051-15/+15
* Stable for x86, wrt bug #529536Agostino Sarubbo2014-12-052-3/+6
* Stable for ppc64, wrt bug #528002Agostino Sarubbo2014-12-041-15/+15
* Stable for ppc64, wrt bug #528002Agostino Sarubbo2014-12-042-3/+6
* Stable for ppc, wrt bug #529536Agostino Sarubbo2014-12-031-15/+15
* Stable for ppc, wrt bug #529536Agostino Sarubbo2014-12-032-3/+6