1. 2018-12-04 Re: [gentoo-dev] dev-lisp/clozurtecl and the 17.0 pro gentoo-de Ulrich Mueller 2. 2018-12-03 Re: [gentoo-dev] dev-lisp/clozurtecl and the 17.0 pro gentoo-de Michał_Górny 3. 2018-12-03 [gentoo-dev] dev-lisp/clozurtecl and the 17.0 profile gentoo-de grozin