diff options
author | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:32:50 +0100 |
---|---|---|
committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:32:50 +0100 |
commit | cae14105085c3f64ee8a34a3d95547c150a5fe88 (patch) | |
tree | 75f3b86d6eddc4ea5923d6226aa7cb8b23f844d5 /sci-mathematics/giac/Manifest | |
parent | sci-mathematics/gappa: version bump (diff) | |
download | sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.tar.gz sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.tar.bz2 sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.zip |
sci-mathematics/gappalib-coq: version bump
Diffstat (limited to 'sci-mathematics/giac/Manifest')
0 files changed, 0 insertions, 0 deletions