../ ocamlduce-base_3.12.1.0-1_amd64.deb 01-Nov-2011 21:05 969146 ocamlduce_3.12.1.0-1.debian.tar.gz 01-Nov-2011 21:05 6605 ocamlduce_3.12.1.0-1.dsc 01-Nov-2011 21:05 2109 ocamlduce_3.12.1.0-1_amd64.deb 01-Nov-2011 21:05 24432388 ocamlduce_3.12.1.0.orig.tar.gz 01-Nov-2011 21:05 140291