../ polymake_3.2r2-3.buildlog 08-Jun-2018 19:24 102994 polymake_3.2r2-3.datestamp 08-Jun-2018 19:24 111 polymake_3.2r2-3.json 08-Jun-2018 19:24 671 polymake_3.2r2-3_amd64-2018-06-05T21:50:21Z.build 05-Jun-2018 22:03 100410 polymake_3.2r2-3_amd64-2018-06-08T19:11:55Z.build 08-Jun-2018 19:24 102994 polymake_3.2r2-3_amd64.build 08-Jun-2018 19:24 102994