SourceForge has been redesigned. Learn more.
Close

User Activity

  • Posted a comment on ticket #117 on Potassco

    solve-multi.patch.0 FTBFS when WITH_THREADS is undefined, see https://buildd.debian.org/status/fetch.php?pkg=gringo&arch=i386&ver=4.5.4-2&stamp=1462088032...

  • Posted a comment on ticket #118 on Potassco

    works for me, uploaded as gringo 4.5.4-2 to Debian unstable

  • Created ticket #118 on Potassco

    FTBFS: error: 'pow' is not a member of 'std' (Debian bug #822383)

  • Created ticket #94 on Potassco

    clasp --help typo in --quiet description

View All

Personal Data

Username:
tkren
Joined:
2007-12-22 19:03:14

Projects

Skills

  • No skills entered.

Personal Tools