/data/ 0.34.2 centos/0.34.2-1 debian/0.34.2-1
drwxr-xr-x [up]
-rw-r--r-- 2017-01-27 17:46 +0100 159 gecode_version.cc