diff options
author | Agostino Sarubbo <ago@gentoo.org> | 2013-09-04 08:27:50 +0000 |
---|---|---|
committer | Agostino Sarubbo <ago@gentoo.org> | 2013-09-04 08:27:50 +0000 |
commit | e7f52f54e9cf39bab831fd4e6e44cc1d1582b944 (patch) | |
tree | 187ad46f613173e9dd9d2ec88637745fbcdd2975 /dev-lang/smlnj | |
parent | Stable for ppc, wrt bug #468150 (diff) | |
download | gentoo-2-e7f52f54e9cf39bab831fd4e6e44cc1d1582b944.tar.gz gentoo-2-e7f52f54e9cf39bab831fd4e6e44cc1d1582b944.tar.bz2 gentoo-2-e7f52f54e9cf39bab831fd4e6e44cc1d1582b944.zip |
Stable for ppc, wrt bug #480392
(Portage version: 2.1.12.2/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
Diffstat (limited to 'dev-lang/smlnj')
0 files changed, 0 insertions, 0 deletions