Does anyone work on GNU SETL? Does anyone here have source of GNU SETL? I find it really interesting and useful, and for ages there has been no source availab

Does anyone work on GNU SETL? Does anyone here have source of GNU SETL? I find it really interesting and useful, and for ages there has been no source available or news...