divide packages into "core" and "extra" packages
[ghc-hetmet.git] / rts / gmp / version.texi
1 @set UPDATED 5 October 2000
2 @set EDITION 3.1.1
3 @set VERSION 3.1.1