summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bump by Andreas Sturmlechner <andreas.sturmlechner@gmail.com>.Michael Palimaka2015-05-151-15/+18
* Version bump by Andreas Sturmlechner <andreas.sturmlechner@gmail.com>.Michael Palimaka2015-05-152-1/+74
* Remove old.Johannes Huber2015-02-251-18/+14
* Remove old.Johannes Huber2015-02-253-149/+5
* Stable for x86, wrt bug #540900Agostino Sarubbo2015-02-251-15/+15
* Stable for x86, wrt bug #540900Agostino Sarubbo2015-02-252-3/+6
* Stable for amd64, wrt bug #540900Agostino Sarubbo2015-02-241-17/+16
* Stable for amd64, wrt bug #540900Agostino Sarubbo2015-02-242-5/+8
* Version bump wrt bug #530794.Michael Palimaka2014-11-271-15/+17
* Version bump wrt bug #530794.Michael Palimaka2014-11-272-1/+74
* Version bump. Remove broken version wrt bug #514192.Michael Palimaka2014-06-221-16/+16
* Version bump. Remove broken version wrt bug #514192.Michael Palimaka2014-06-222-10/+16
* Whitespace.Michael Palimaka2014-06-222-6/+27
* Version bump.Manuel Rüger2014-06-191-1/+3
* Version bump.Manuel Rüger2014-06-192-2/+81
* Cleanup old.Manuel Rüger2013-12-241-25/+1
* Cleanup old.Manuel Rüger2013-12-244-127/+6
* Stable for x86, wrt bug #492682Agostino Sarubbo2013-12-241-5/+15
* Stable for x86, wrt bug #492682Agostino Sarubbo2013-12-242-3/+6
* amd64 stable, bug #492682Pacho Ramos2013-12-231-9/+5
* amd64 stable, bug #492682Pacho Ramos2013-12-232-3/+6
* Version bump.Johannes Huber2013-10-151-9/+11
* Version bump.Johannes Huber2013-10-152-1/+80
* Remove old.Michael Palimaka2013-03-141-16/+9
* Remove old.Michael Palimaka2013-03-142-82/+4
* Stable for x86, wrt bug #461070Agostino Sarubbo2013-03-101-15/+15
* Stable for x86, wrt bug #461070Agostino Sarubbo2013-03-102-3/+6
* Stable for amd64, wrt bug #461070Agostino Sarubbo2013-03-101-10/+16
* Stable for amd64, wrt bug #461070Agostino Sarubbo2013-03-102-3/+6
* Backport patch from upstream to fix build with gmp-5.1.0 wrt bug #448842.Michael Palimaka2013-02-021-8/+10
* Backport patch from upstream to fix build with gmp-5.1.0 wrt bug #448842.Michael Palimaka2013-02-023-2/+116
* Remove old.Johannes Huber2012-11-141-13/+8
* Remove old.Johannes Huber2012-11-145-159/+7
* Stable for x86, wrt bug #438566Johannes Huber2012-11-141-2/+16
* Stable for x86, wrt bug #438566Johannes Huber2012-11-142-3/+6
* Stable for amd64, wrt bug #438566Agostino Sarubbo2012-10-181-16/+2
* Stable for amd64, wrt bug #438566Agostino Sarubbo2012-10-182-3/+6
* Version bump.Johannes Huber2012-09-071-4/+10
* Version bump.Johannes Huber2012-09-072-1/+87
* Re-enable tests, add VIRTUALDBUS so test 26 passesChris Reffett2012-07-271-9/+5
* Re-enable tests, add VIRTUALDBUS so test 26 passesChris Reffett2012-07-272-6/+7
* Remove old.Johannes Huber2012-07-151-10/+8
* Remove old.Johannes Huber2012-07-153-171/+5
* Stable for x86, wrt bug #426492Johannes Huber2012-07-151-2/+16
* Stable for x86, wrt bug #426492Johannes Huber2012-07-152-3/+6
* Stable for amd64, wrt bug #426492Agostino Sarubbo2012-07-141-16/+2
* Stable for amd64, wrt bug #426492Agostino Sarubbo2012-07-142-3/+6
* Backport fix from upstream to fix build with GCC 4.7, wrt bug #425366.Michael Palimaka2012-07-091-2/+17
* Backport fix from upstream to fix build with GCC 4.7, wrt bug #425366.Michael Palimaka2012-07-093-3/+25
* Change manifest to new hashes.Jeff Horelick2012-07-051-23/+9