| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/open-axiom: remove dead package |   Andrew Ammerlaan | 2022-01-24 | 1 | -1/+0 |
| * | sci-mathematics/open-axiom: add new snapshot |   Andrew Ammerlaan | 2021-01-10 | 1 | -1/+1 |
| * | Update Manifests to new hashes |   Justin Lecher | 2017-12-10 | 1 | -1/+1 |
| * | sci-mathematics/open-axiom: Fix SRC_URI | Justin Lecher | 2015-09-21 | 1 | -2/+1 |
| * | sci-mathematics/open-axiom: version bump to 1.4.2 |   zcj | 2013-12-29 | 1 | -0/+1 |
| * | manifests fixes |   Sébastien Fabbro | 2013-06-13 | 1 | -1/+1 |
| * | Convert to thin manifests (as suggested by alexxy and jlec) |   Andreas K. Huettel (dilfridge) | 2012-01-14 | 1 | -3/+0 |
| * | Added ffnet |   Sebastien Fabbro | 2010-01-26 | 1 | -0/+1 |
| * | Added open-axiom | Sebastien Fabbro | 2010-01-22 | 1 | -0/+3 |
GitWeb