summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* Revision bump adds upstream patch to fix crash when open sqlite db file by St...Johannes Huber2012-05-151-9/+11
* Revision bump adds upstream patch to fix crash when open sqlite db file by St...Johannes Huber2012-05-153-1/+116
* Migrate to virtual/pkgconfig.Johannes Huber2012-05-081-10/+10
* Migrate to virtual/pkgconfig.Johannes Huber2012-05-082-3/+6
* Revision bump adds upstream parallel build fix wrt bug #407611.Johannes Huber2012-05-071-1/+17
* Revision bump adds upstream parallel build fix wrt bug #407611.Johannes Huber2012-05-073-1/+113
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-031-16/+2
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-032-3/+6
* Remove old.Johannes Huber2012-04-181-11/+10
* Remove old.Johannes Huber2012-04-184-168/+6