MD5 (INSTALL.html) = 226b780527542d0e30c537d3fb0946d1
MD5 (INSTALL.more) = f054f761a19f4e0a4057fab8d01a2964
MD5 (INSTALL.ps) = b443d263dbe7d3c6f64d4a1de30dbefe
MD5 (INSTALL.txt) = cfb2eeb477c545fadb30268b82e4109b
MD5 (SOURCE_DATE) = aa8f11c1c24587204246e496a672f292
MD5 (release.man) = a071d1c042084b2959e6e41a462a4fe4