summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Johannes Huber2013-11-301-1/+5
* amd64 stable wrt bug #492684Johannes Huber2013-11-301-1/+5
* x86 stable wrt bug #492684Johannes Huber2013-11-301-1/+5
* Version bump wrt bug #488438.Johannes Huber2013-10-181-1/+7
* Remove old.Michael Palimaka2013-07-311-1/+5
* Stable for x86, wrt bug #477634Agostino Sarubbo2013-07-291-1/+5
* Stable for amd64, wrt bug #477634Agostino Sarubbo2013-07-271-1/+5
* Version bump wrt bug #474050.Johannes Huber2013-06-211-1/+7
* Remove old.Michael Palimaka2013-04-021-1/+5
* Stable for x86, wrt bug #462890Agostino Sarubbo2013-03-311-1/+5
* Stable for amd64, wrt bug #462890Agostino Sarubbo2013-03-311-1/+5
* Version bump.Michael Palimaka2013-03-011-1/+7
* Version bump. Remove old.Michael Palimaka2013-01-281-1/+8
* Stable for x86, wrt bug #450678Agostino Sarubbo2013-01-271-1/+5
* Stable for amd64, wrt bug #450678Agostino Sarubbo2013-01-271-1/+5
* Stable for x86, wrt bug #449632Agostino Sarubbo2013-01-021-1/+5
* Stable for amd64, wrt bug #449632Agostino Sarubbo2013-01-021-2/+6
* Version bump wrt bug #449128.Michael Palimaka2012-12-291-1/+7
* Version bump. Remove old.Chris Reffett2012-11-301-1/+7
* Remove old.Johannes Huber2012-11-241-1/+5
* Stable for x86, wrt bug #442394Agostino Sarubbo2012-11-231-1/+5
* Stable for amd64, wrt bug #442394Agostino Sarubbo2012-11-231-1/+5
* Version bump.Michael Palimaka2012-11-061-1/+7
* Version bump, remove old.Johannes Huber2012-10-221-1/+8
* Version bump.Michael Palimaka2012-10-161-1/+7
* Version bump.Johannes Huber2012-09-261-1/+7
* Version bump.Johannes Huber2012-08-071-1/+7
* Remove old.Johannes Huber2012-06-291-2/+5
* Stable for x86, wrt bug #422087Johannes Huber2012-06-291-1/+5
* Stable for amd64, wrt bug #422087Agostino Sarubbo2012-06-201-1/+5
* Remove old.Johannes Huber2012-05-211-1/+5
* Stable for x86, wrt bug #415143Johannes Huber2012-05-211-1/+5
* Version bump, remove old.Johannes Huber2012-05-151-1/+7
* Stable for amd64, wrt bug #415143Agostino Sarubbo2012-05-081-1/+5
* Version bump, remove old.Johannes Huber2012-05-081-1/+7
* Version bump, remove old.Johannes Huber2012-04-061-1/+7
* Version bump, remove old.Johannes Huber2012-03-251-1/+7
* Version bump, remove old.Johannes Huber2012-03-131-1/+7
* Version bump, remove old.Johannes Huber2012-03-011-1/+7
* Version bump, remove old.Johannes Huber2012-02-221-1/+8
* Version bump.Johannes Huber2012-02-151-1/+7
* Version bump.Johannes Huber2012-01-171-1/+7
* Version bump.Johannes Huber2012-01-111-1/+7
* Version bump, remove old.Johannes Huber2012-01-041-2/+9
* Version bumpAndreas K. Hüttel2011-09-081-1/+7
* Version bump. Stabilise 1.5.1 on amd64 and x86. Drop older.Tomas Chvatal2011-04-201-1/+8
* Stabilise 1.3.4 on amd64 and x86. Add latest.Tomas Chvatal2011-03-261-1/+8
* Version bumpAndreas K. Hüttel2011-02-271-1/+7
* Stabilise latest. Drop older.Tomas Chvatal2011-02-131-1/+6
* bumpTheo Chatzimichos2011-02-011-1/+7