aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Horel <guillaume.horel@gmail.com>2012-08-11 18:17:01 -0400
committerGuillaume Horel <guillaume.horel@gmail.com>2012-08-11 18:17:01 -0400
commit8d467727dbee6d5ad10ec2ac5af11f4c51662ce8 (patch)
tree935018dfed9aa9a5b0d9fbc55484d7664f44369d /dev-ml/mlgmpidl
parent[dev-ml/gsl-ocaml] new package (diff)
downloadsci-8d467727dbee6d5ad10ec2ac5af11f4c51662ce8.tar.gz
sci-8d467727dbee6d5ad10ec2ac5af11f4c51662ce8.tar.bz2
sci-8d467727dbee6d5ad10ec2ac5af11f4c51662ce8.zip
[dev-ml/zarith] fix license
Diffstat (limited to 'dev-ml/mlgmpidl')
0 files changed, 0 insertions, 0 deletions