../ gambc-doc_4.8.8-3.1_all.deb 09-Nov-2018 09:40 554968 gambc_4.8.8-3.1.debian.tar.xz 09-Nov-2018 06:49 48568 gambc_4.8.8-3.1.dsc 09-Nov-2018 06:49 1984 gambc_4.8.8-3.1_amd64.deb 09-Nov-2018 09:40 37604 gambc_4.8.8.orig.tar.gz 05-Jan-2018 23:43 13272335 libgambit4-dev_4.8.8-3.1_amd64.deb 09-Nov-2018 09:40 47348 libgambit4_4.8.8-3.1_amd64.deb 09-Nov-2018 09:40 2460680