Clean 1.3.3 is now available for Linux (Intel) with libc6/glibc2.1. This version was developed and tested on RedHat 6.2 Linux. It will probably also work on other versions of Linux with glibc2. The new version can be downloaded from: http://www.cs.kun.nl/~clean Or using ftp from: ftp://ftp.cs.kun.nl/pub/Clean/