Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 cryptol_2.6.0-3+b1_amd64.deb             2022-04-11 05:21  2.3M  
 cryptol_2.6.0-3+b1_i386.deb              2022-04-11 05:07  2.3M  
 haskell-cryptol_2.6.0-3.debian.tar.xz    2022-04-11 05:10  3.3K  
 haskell-cryptol_2.6.0-3.dsc              2022-04-11 05:10  3.3K  
 haskell-cryptol_2.6.0.orig.tar.gz        2022-04-11 05:10  355K  
 libghc-cryptol-dev_2.6.0-3+b1_amd64.deb  2022-04-11 05:40  4.0M  
 libghc-cryptol-dev_2.6.0-3+b1_i386.deb   2022-04-11 05:10  3.9M  
 libghc-cryptol-doc_2.6.0-3_all.deb       2022-04-11 05:05  938K  
 libghc-cryptol-prof_2.6.0-3+b1_amd64.deb 2022-04-11 05:09  3.8M  
 libghc-cryptol-prof_2.6.0-3+b1_i386.deb  2022-04-11 05:06  3.8M