diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2014-11-06 21:43:22 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2014-11-06 21:43:22 +0000 |
| commit | e8dcf5fdc993683a27732d23baa02fb6a76f1b1f (patch) | |
| tree | e6b32ec247928b87535ccadc40b4a733bcf9412d /sci-mathematics/prover9 | |
| parent | Version bump. Bug #528226 (diff) | |
| download | historical-e8dcf5fdc993683a27732d23baa02fb6a76f1b1f.tar.gz historical-e8dcf5fdc993683a27732d23baa02fb6a76f1b1f.tar.bz2 historical-e8dcf5fdc993683a27732d23baa02fb6a76f1b1f.zip | |
Add Qt 5 support to the stable branch (bug #488640).
Package-Manager: portage-2.2.14/cvs/Linux x86_64
Manifest-Sign-Key: 0xA792A613
Diffstat (limited to 'sci-mathematics/prover9')
0 files changed, 0 insertions, 0 deletions