# Linux xen13 3.10.0-ucs46-amd64 #2 SMP Debian 3.10.11-1.46.201401191746 (2014-01-19) x86_64 GNU/Linux

It was created by ecl configure 11.1.1, which was
generated by GNU Autoconf 2.68.  Invocation command line was

  $ /var/build/temp/tmp.Z0yU6EROb2/pbuilder/ecl-11.1.1+dfsg1/src/configure --srcdir=/var/build/temp/tmp.Z0yU6EROb2/pbuilder/ecl-11.1.1+dfsg1/src --build x86_64-linux-gnu --enable-gengc --enable-threads=yes --prefix=/usr --mandir=${prefix}/share/man --infodir=${prefix}/share/info --with-system-gmp=yes --with-tcp --with-clx --enable-boehm=system --with-x

