Debian
gringo package

Branches for Wheezy

Name Status Last Modified Last Commit
lp:debian/wheezy/gringo 1 Development 2012-05-23 15:25:09 UTC
8. Bug fix: "please build-depend on unve...

Author: Thomas Krennwallner
Revision Date: 2012-05-23 15:25:09 UTC

Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).
1 → 1 of 1 result First • Previous • Next • Last