summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-031-16/+8
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-032-1/+83
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-271-15/+15
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-272-3/+6
* bump to 2.10.1, remove oldThomas Kahle2013-07-271-19/+6
* bump to 2.10.1, remove oldThomas Kahle2013-07-273-64/+19
* relax Normaliz depThomas Kahle2013-07-271-6/+6
* relax Normaliz depThomas Kahle2013-07-272-4/+7
* Fix Qt dependencies.Michael Palimaka2013-07-231-5/+9
* Fix Qt dependencies.Michael Palimaka2013-07-232-3/+7
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-211-6/+16
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-212-3/+6
* Cleanup due #473480Pacho Ramos2013-07-211-13/+23
* Cleanup due #473480Pacho Ramos2013-07-212-5/+5
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-181-22/+2
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-182-3/+7
* Fix wrong usage of EPREFIXThomas Kahle2013-07-181-6/+6
* Fix wrong usage of EPREFIXThomas Kahle2013-07-182-3/+6
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-181-13/+3
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-183-5/+9
* Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47...Sebastien Fabbro2013-07-161-19/+17
* Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47...Sebastien Fabbro2013-07-1612-1/+445
* version bumpJulian Ospald2013-07-161-8/+14
* version bumpJulian Ospald2013-07-166-1/+362
* fix building with boost-1.53 wrt #476274Julian Ospald2013-07-151-10/+11
* fix building with boost-1.53 wrt #476274Julian Ospald2013-07-153-3/+72
* Version bumpSebastien Fabbro2013-07-091-17/+8
* Version bumpSebastien Fabbro2013-07-092-1/+78
* Add pdf documentation hidden as .tex in the sourcePatrick Lauer2013-07-051-2/+3
* Add pdf documentation hidden as .tex in the sourcePatrick Lauer2013-07-052-3/+8
* Fixed #473102 - depend on <texinfo-5.0 againAndrey Grozin2013-07-011-17/+16
* Fixed #473102 - depend on <texinfo-5.0 againAndrey Grozin2013-07-013-239/+10
* Remove futile pkg_setup phasePatrick Lauer2013-07-011-2/+2
* Remove futile pkg_setup phasePatrick Lauer2013-07-012-13/+5
* Stable for ppc64, wrt bug #473850Agostino Sarubbo2013-06-291-15/+15
* Stable for ppc64, wrt bug #473850Agostino Sarubbo2013-06-292-3/+6
* sci-mathematics/genius: Version Bump; drop oldJustin Lecher2013-06-281-6/+14
* sci-mathematics/genius: Version Bump; drop oldJustin Lecher2013-06-284-84/+30
* Add correct python:2.7 depThomas Kahle2013-06-281-6/+6
* Add correct python:2.7 depThomas Kahle2013-06-282-10/+8
* Version bumpAndrey Grozin2013-06-261-23/+19
* Version bumpAndrey Grozin2013-06-266-153/+16
* Stable for amd64, wrt bug #473564Agostino Sarubbo2013-06-251-15/+15
* Stable for amd64, wrt bug #473564Agostino Sarubbo2013-06-252-3/+6
* Stable for amd64, wrt bug #473850Agostino Sarubbo2013-06-251-15/+15
* Stable for amd64, wrt bug #473850Agostino Sarubbo2013-06-252-3/+6
* Stable for x86, wrt bug #473564Agostino Sarubbo2013-06-251-6/+16
* Stable for x86, wrt bug #473564Agostino Sarubbo2013-06-252-3/+6
* Stable for x86, wrt bug #473850Agostino Sarubbo2013-06-251-16/+16
* Stable for x86, wrt bug #473850Agostino Sarubbo2013-06-252-3/+6