| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-08 | Enable CLN and make library thread-safe. | Gereon Kremer | |
| 2017-09-07 | Preventing cmake export from temporary build directory. | Gereon Kremer | |
| 2017-09-07 | New release 17.08, using zip instead of git sources. | Gereon Kremer | |
| 2017-06-19 | Bumping version. | Gereon Kremer | |
| 2017-05-18 | Bumping pkgrel to trigger reload. | Gereon Kremer | |
| 2017-05-18 | Make check() work. | Gereon Kremer | |
| 2017-05-18 | Trying to fix tag definition in source. | Gereon Kremer | |
| 2017-05-18 | Updated .SCRINFO... | Gereon Kremer | |
| 2017-05-18 | Fixed package name of eigen (was eigen3) | Gereon Kremer | |
| 2017-05-18 | First version of this package. | Gereon Kremer | |
| PKGBUILD is based on https://github.com/smtrat/carl/issues/9 | |||