Index of /ubuntu-ports/pool/universe/w/why3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libwhy3-ocaml-dev_0.88.3-1ubuntu4_arm64.deb2018-04-07 11:19 2.0M 
[   ]libwhy3-ocaml-dev_0.88.3-1ubuntu4_armhf.deb2018-04-07 11:19 1.9M 
[   ]why3-coq_0.88.3-1ubuntu4_arm64.deb2018-04-07 11:19 2.5M 
[   ]why3-coq_0.88.3-1ubuntu4_armhf.deb2018-04-07 11:19 1.9M 
[   ]why3-doc-html_0.88.3-1ubuntu4_all.deb2018-04-07 11:19 355K 
[   ]why3-doc-pdf_0.88.3-1ubuntu4_all.deb2018-04-07 11:19 1.2M 
[   ]why3-examples_0.88.3-1ubuntu4_all.deb2018-04-07 11:19 1.5M 
[   ]why3_0.88.3-1ubuntu4.debian.tar.xz2018-04-07 11:19 13K 
[   ]why3_0.88.3-1ubuntu4.dsc2018-04-07 11:19 2.7K 
[   ]why3_0.88.3-1ubuntu4_arm64.deb2018-04-07 11:19 26M 
[   ]why3_0.88.3-1ubuntu4_armhf.deb2018-04-07 11:19 11M 
[   ]why3_0.88.3.orig.tar.gz2018-01-30 19:34 4.0M 

Apache/2.4.7 (Ubuntu) Server at ubuntu-ashisuto.ubuntulinux.jp Port 80