diff options
author | 2010-03-25 21:00:52 +0000 | |
---|---|---|
committer | 2010-03-25 21:00:52 +0000 | |
commit | 435b564be82e4b2a639a0c82a83485cefa72768d (patch) | |
tree | f1b00867705c0f90943c148e2696b607ae9cd0e8 /dev-lang/mozart-stdlib | |
parent | Bump to 2.0.3.7. Contains a number of bug fixes. (diff) | |
download | gentoo-2-435b564be82e4b2a639a0c82a83485cefa72768d.tar.gz gentoo-2-435b564be82e4b2a639a0c82a83485cefa72768d.tar.bz2 gentoo-2-435b564be82e4b2a639a0c82a83485cefa72768d.zip |
Fix compilation issue with dev-lang/ghc. See bug #310963.
(Portage version: 2.1.7.17/cvs/Linux x86_64)
Diffstat (limited to 'dev-lang/mozart-stdlib')
0 files changed, 0 insertions, 0 deletions