Index of /trisquel/packages/pool/main/h/haskell-cryptol

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] libghc-cryptol-prof_2.8.0-1build5.1_armhf.deb      2021-09-16 22:08  4.9M  
[   ] libghc-cryptol-dev_2.8.0-1build5.1_armhf.deb       2021-09-16 22:08  5.1M  
[   ] cryptol_2.8.0-1build5.1_armhf.deb                  2021-09-16 22:08  3.7M  
[   ] libghc-cryptol-prof_2.8.0-1build5.1_arm64.deb      2021-09-16 16:28  5.1M  
[   ] libghc-cryptol-dev_2.8.0-1build5.1_arm64.deb       2021-09-16 16:28  5.4M  
[   ] cryptol_2.8.0-1build5.1_arm64.deb                  2021-09-16 16:28  3.8M  
[   ] libghc-cryptol-prof_2.8.0-1build5.1_ppc64el.deb    2021-09-16 15:39  6.5M  
[   ] libghc-cryptol-dev_2.8.0-1build5.1_ppc64el.deb     2021-09-16 15:39  7.1M  
[   ] cryptol_2.8.0-1build5.1_ppc64el.deb                2021-09-16 15:39  5.3M  
[   ] libghc-cryptol-prof_2.8.0-1build5.1_amd64.deb      2021-09-16 15:39  4.5M  
[   ] libghc-cryptol-doc_2.8.0-1build5.1_all.deb         2021-09-16 15:39  1.1M  
[   ] libghc-cryptol-dev_2.8.0-1build5.1_amd64.deb       2021-09-16 15:39  4.4M  
[   ] cryptol_2.8.0-1build5.1_amd64.deb                  2021-09-16 15:39  2.8M  
[TXT] haskell-cryptol_2.8.0-1build5.1.dsc                2021-09-16 15:39  3.6K  
[   ] haskell-cryptol_2.8.0-1build5.1.debian.tar.xz      2021-09-16 15:39  4.7K  
[   ] haskell-cryptol_2.8.0.orig.tar.gz                  2020-07-11 13:18  323K  
[   ] libghc-cryptol-prof_2.6.0-4build2_amd64.deb        2020-02-08 21:53  3.8M  
[   ] libghc-cryptol-doc_2.6.0-4build2_all.deb           2020-02-08 21:53  955K  
[   ] libghc-cryptol-dev_2.6.0-4build2_amd64.deb         2020-02-08 21:53  3.9M  
[   ] cryptol_2.6.0-4build2_amd64.deb                    2020-02-08 21:53  2.3M  
[TXT] haskell-cryptol_2.6.0-4build2.dsc                  2020-02-08 19:48  3.4K  
[   ] haskell-cryptol_2.6.0-4build2.debian.tar.xz        2020-02-08 19:48  6.7K  
[   ] haskell-cryptol_2.6.0.orig.tar.gz                  2018-12-14 18:18  355K  
[   ] libghc-cryptol-prof_2.4.0-3_i386.deb               2017-11-11 07:28  3.4M  
[   ] libghc-cryptol-dev_2.4.0-3_i386.deb                2017-11-11 07:28  3.1M  
[   ] cryptol_2.4.0-3_i386.deb                           2017-11-11 07:28  2.1M  
[   ] libghc-cryptol-prof_2.4.0-3_amd64.deb              2017-11-11 07:28  3.5M  
[   ] libghc-cryptol-doc_2.4.0-3_all.deb                 2017-11-11 07:28  608K  
[   ] libghc-cryptol-dev_2.4.0-3_amd64.deb               2017-11-11 07:28  3.3M  
[   ] cryptol_2.4.0-3_amd64.deb                          2017-11-11 07:28  2.1M  
[TXT] haskell-cryptol_2.4.0-3.dsc                        2017-11-11 07:08  3.8K  
[   ] haskell-cryptol_2.4.0-3.debian.tar.xz              2017-11-11 07:08  2.9K  
[   ] haskell-cryptol_2.4.0.orig.tar.gz                  2016-11-14 01:08  290K  
[   ] libghc-cryptol-prof_2.2.6-1build1_i386.deb         2016-01-15 00:55  2.6M  
[   ] cryptol_2.2.6-1build1_i386.deb                     2016-01-15 00:55  1.8M  
[   ] libghc-cryptol-dev_2.2.6-1build1_i386.deb          2016-01-15 00:55  2.3M  
[   ] libghc-cryptol-prof_2.2.6-1build1_amd64.deb        2016-01-15 00:54  2.6M  
[   ] cryptol_2.2.6-1build1_amd64.deb                    2016-01-15 00:54  1.8M  
[   ] libghc-cryptol-doc_2.2.6-1build1_all.deb           2016-01-15 00:54  468K  
[   ] libghc-cryptol-dev_2.2.6-1build1_amd64.deb         2016-01-15 00:54  2.3M  
[TXT] haskell-cryptol_2.2.6-1build1.dsc                  2016-01-15 00:39  3.4K  
[   ] haskell-cryptol_2.2.6-1build1.debian.tar.xz        2016-01-15 00:39  2.6K  
[   ] haskell-cryptol_2.2.6.orig.tar.gz                  2015-12-30 13:19  216K
Apache/2.4.59 (Debian) Server at de.freedif.org Port 443