diff options
| author |   Sam James <sam@gentoo.org> | 2023-03-17 18:25:05 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2023-03-17 18:25:22 +0000 |
| commit | be652cae874ee9b84bfc27f7865445d1cfdfd073 (patch) | |
| tree | ed3177c2a255c84061b220f7bd226065c41b5f0c /sci-mathematics/prover9 | |
| parent | dev-db/kyotocabinet: Stabilize 1.2.79-r1 sparc, #901935 (diff) | |
| download | gentoo-be652cae874ee9b84bfc27f7865445d1cfdfd073.tar.gz gentoo-be652cae874ee9b84bfc27f7865445d1cfdfd073.tar.bz2 gentoo-be652cae874ee9b84bfc27f7865445d1cfdfd073.zip | |
dev-db/kyotocabinet: Stabilize 1.2.79-r1 ppc, #901935
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/prover9')
0 files changed, 0 insertions, 0 deletions