../ fsharp_4.0.0.4+dfsg2-2.debian.tar.xz 11-Dec-2015 00:31 17324 fsharp_4.0.0.4+dfsg2-2.dsc 11-Dec-2015 00:31 1935 fsharp_4.0.0.4+dfsg2-2_all.deb 11-Dec-2015 00:31 2920090 fsharp_4.0.0.4+dfsg2.orig.tar.gz 02-Dec-2015 23:02 11038941 libfsharp-core4.3-cil_4.0.0.4+dfsg2-2_all.deb 11-Dec-2015 00:31 539330 libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfs..> 11-Dec-2015 00:31 112402