../ glpk-java_1.12.0-1.debian.tar.xz 08-Mar-2018 09:54 3720 glpk-java_1.12.0-1.dsc 08-Mar-2018 09:54 2000 glpk-java_1.12.0.orig.tar.gz 08-Mar-2018 09:54 1153800 libglpk-java_1.12.0-1_amd64.deb 08-Mar-2018 10:59 777792