# Linux denneed04 3.13.0-16-generic #36-Ubuntu SMP Tue Mar 4 23:03:28 UTC 2014 ppc64le ppc64le ppc64le GNU/Linux

It was created by ecl configure 13.5.1, which was
generated by GNU Autoconf 2.69.  Invocation command line was

  $ /build/buildd/ecl-13.5.1+dfsg2/src/configure --srcdir=/build/buildd/ecl-13.5.1+dfsg2/src --build powerpc64le-linux-gnu --prefix=/usr --mandir=${prefix}/share/man --infodir=${prefix}/share/info --with-system-gmp=yes --with-tcp --with-clx --enable-threads=yes --enable-boehm=system --with-x --enable-unicode

