Welcome to ftp.nluug.nl Current directory: /debian/pool/main/h/haskell-cryptol/

Current bandwidth utilization 1212.07 Mbit/s

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 cryptol_2.6.0-3+b1_amd64.deb               04-Dec-2018 11:13  2.3M  
 cryptol_2.6.0-3+b1_i386.deb                04-Dec-2018 11:03  2.3M  
 cryptol_2.8.0-1+b2_amd64.deb               19-Aug-2020 21:12  2.6M  
 cryptol_2.8.0-1+b2_arm64.deb               19-Aug-2020 22:15  3.3M  
 cryptol_2.8.0-1+b2_armhf.deb               20-Aug-2020 00:27  3.1M  
 cryptol_2.8.0-1+b2_i386.deb                20-Aug-2020 00:17  2.6M  
 cryptol_2.8.0-1+b3_armhf.deb               03-Oct-2021 12:27  3.1M  
 cryptol_2.8.0-1+b3_i386.deb                03-Oct-2021 11:42  2.6M  
 cryptol_3.0.0-1+b2_amd64.deb               13-Apr-2024 19:56  8.8M  
 cryptol_3.0.0-1+b2_riscv64.deb             16-Apr-2024 18:24   11M  
 cryptol_3.0.0-1+b3_arm64.deb               13-Apr-2024 20:27  8.8M  
 haskell-cryptol_2.6.0-3.debian.tar.xz      10-Nov-2018 03:18  3.3K  
 haskell-cryptol_2.6.0-3.dsc                10-Nov-2018 03:18  3.3K  
 haskell-cryptol_2.6.0.orig.tar.gz          29-Sep-2018 14:25  355K  
 haskell-cryptol_2.8.0-1.debian.tar.xz      11-Jul-2020 02:14  4.4K  
 haskell-cryptol_2.8.0-1.dsc                11-Jul-2020 02:14  3.5K  
 haskell-cryptol_2.8.0.orig.tar.gz          11-Jul-2020 02:14  323K  
 haskell-cryptol_3.0.0-1.debian.tar.xz      24-Oct-2023 14:53  3.7K  
 haskell-cryptol_3.0.0-1.dsc                24-Oct-2023 14:53  4.8K  
 haskell-cryptol_3.0.0.orig.tar.gz          24-Oct-2023 14:53  516K  
 libghc-cryptol-dev_2.6.0-3+b1_amd64.deb    04-Dec-2018 11:13  4.0M  
 libghc-cryptol-dev_2.6.0-3+b1_i386.deb     04-Dec-2018 11:03  3.9M  
 libghc-cryptol-dev_2.8.0-1+b2_amd64.deb    19-Aug-2020 21:12  4.0M  
 libghc-cryptol-dev_2.8.0-1+b2_arm64.deb    19-Aug-2020 22:15  4.8M  
 libghc-cryptol-dev_2.8.0-1+b2_armhf.deb    20-Aug-2020 00:27  4.4M  
 libghc-cryptol-dev_2.8.0-1+b2_i386.deb     20-Aug-2020 00:17  4.0M  
 libghc-cryptol-dev_2.8.0-1+b3_armhf.deb    03-Oct-2021 12:27  4.4M  
 libghc-cryptol-dev_2.8.0-1+b3_i386.deb     03-Oct-2021 11:42  4.0M  
 libghc-cryptol-dev_3.0.0-1+b2_amd64.deb    13-Apr-2024 19:56  7.0M  
 libghc-cryptol-dev_3.0.0-1+b2_riscv64.deb  16-Apr-2024 18:24   14M  
 libghc-cryptol-dev_3.0.0-1+b3_arm64.deb    13-Apr-2024 20:27  7.6M  
 libghc-cryptol-doc_2.6.0-3_all.deb         10-Nov-2018 04:18  938K  
 libghc-cryptol-doc_2.8.0-1_all.deb         11-Jul-2020 02:34  1.2M  
 libghc-cryptol-doc_3.0.0-1_all.deb         04-Nov-2023 14:14  1.9M  
 libghc-cryptol-prof_2.6.0-3+b1_amd64.deb   04-Dec-2018 11:13  3.8M  
 libghc-cryptol-prof_2.6.0-3+b1_i386.deb    04-Dec-2018 11:03  3.8M  
 libghc-cryptol-prof_2.8.0-1+b2_amd64.deb   19-Aug-2020 21:12  3.9M  
 libghc-cryptol-prof_2.8.0-1+b2_arm64.deb   19-Aug-2020 22:15  4.4M  
 libghc-cryptol-prof_2.8.0-1+b2_armhf.deb   20-Aug-2020 00:27  4.2M  
 libghc-cryptol-prof_2.8.0-1+b2_i386.deb    20-Aug-2020 00:17  4.0M  
 libghc-cryptol-prof_2.8.0-1+b3_armhf.deb   03-Oct-2021 12:27  4.2M  
 libghc-cryptol-prof_2.8.0-1+b3_i386.deb    03-Oct-2021 11:42  4.0M  
 libghc-cryptol-prof_3.0.0-1+b2_amd64.deb   13-Apr-2024 19:56  6.8M  
 libghc-cryptol-prof_3.0.0-1+b2_riscv64.deb 16-Apr-2024 18:24   15M  
 libghc-cryptol-prof_3.0.0-1+b3_arm64.deb   13-Apr-2024 20:27  8.1M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!