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

Current bandwidth utilization 1365.52 Mbit/s

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 haskell-smtlib_1.0.9-2.debian.tar.xz    30-Sep-2018 22:44  2.4K  
 haskell-smtlib_1.0.9-2.dsc              30-Sep-2018 22:44  2.2K  
 haskell-smtlib_1.0.9.orig.tar.gz        03-Jul-2018 14:32  9.4K  
 haskell-smtlib_1.1-1.debian.tar.xz      08-Jun-2020 17:17  2.5K  
 haskell-smtlib_1.1-1.dsc                08-Jun-2020 17:17  2.2K  
 haskell-smtlib_1.1-2.debian.tar.xz      29-Jun-2022 20:32  2.5K  
 haskell-smtlib_1.1-2.dsc                29-Jun-2022 20:32  2.2K  
 haskell-smtlib_1.1-3.debian.tar.xz      27-Aug-2023 12:17  2.5K  
 haskell-smtlib_1.1-3.dsc                27-Aug-2023 12:17  2.2K  
 haskell-smtlib_1.1.orig.tar.gz          08-Jun-2020 17:17  9.4K  
 libghc-smtlib-dev_1.0.9-2+b2_amd64.deb  03-Dec-2018 17:14  500K  
 libghc-smtlib-dev_1.0.9-2+b2_arm64.deb  03-Dec-2018 17:13  648K  
 libghc-smtlib-dev_1.0.9-2+b2_armhf.deb  03-Dec-2018 19:26  622K  
 libghc-smtlib-dev_1.0.9-2+b2_i386.deb   03-Dec-2018 16:48  468K  
 libghc-smtlib-dev_1.1-1+b1_amd64.deb    13-Aug-2020 23:58  453K  
 libghc-smtlib-dev_1.1-1+b1_arm64.deb    14-Aug-2020 10:11  600K  
 libghc-smtlib-dev_1.1-1+b1_armhf.deb    14-Aug-2020 11:59  571K  
 libghc-smtlib-dev_1.1-1+b1_i386.deb     13-Aug-2020 23:53  439K  
 libghc-smtlib-dev_1.1-2+b1_arm64.deb    25-Sep-2022 17:44  620K  
 libghc-smtlib-dev_1.1-2+b1_i386.deb     25-Sep-2022 19:13  683K  
 libghc-smtlib-dev_1.1-2+b2_amd64.deb    25-Sep-2022 17:29  438K  
 libghc-smtlib-dev_1.1-2+b2_armhf.deb    25-Sep-2022 23:26  557K  
 libghc-smtlib-dev_1.1-3+b1_amd64.deb    20-Oct-2023 11:58  418K  
 libghc-smtlib-dev_1.1-3+b1_arm64.deb    20-Oct-2023 17:11  442K  
 libghc-smtlib-dev_1.1-3+b1_i386.deb     20-Oct-2023 11:53  658K  
 libghc-smtlib-dev_1.1-3+b1_riscv64.deb  25-Oct-2023 19:24  741K  
 libghc-smtlib-dev_1.1-3+b2_armhf.deb    07-Apr-2024 05:07  519K  
 libghc-smtlib-dev_1.1-3+b2_riscv64.deb  03-May-2024 04:04  733K  
 libghc-smtlib-doc_1.0.9-2_all.deb       01-Oct-2018 00:58   77K  
 libghc-smtlib-doc_1.1-1_all.deb         08-Jun-2020 17:42   92K  
 libghc-smtlib-doc_1.1-2_all.deb         29-Jun-2022 22:25   93K  
 libghc-smtlib-doc_1.1-3_all.deb         27-Aug-2023 14:13   94K  
 libghc-smtlib-prof_1.0.9-2+b2_amd64.deb 03-Dec-2018 17:14  422K  
 libghc-smtlib-prof_1.0.9-2+b2_arm64.deb 03-Dec-2018 17:13  495K  
 libghc-smtlib-prof_1.0.9-2+b2_armhf.deb 03-Dec-2018 19:26  467K  
 libghc-smtlib-prof_1.0.9-2+b2_i386.deb  03-Dec-2018 16:48  433K  
 libghc-smtlib-prof_1.1-1+b1_amd64.deb   13-Aug-2020 23:58  384K  
 libghc-smtlib-prof_1.1-1+b1_arm64.deb   14-Aug-2020 10:11  451K  
 libghc-smtlib-prof_1.1-1+b1_armhf.deb   14-Aug-2020 11:59  438K  
 libghc-smtlib-prof_1.1-1+b1_i386.deb    13-Aug-2020 23:53  390K  
 libghc-smtlib-prof_1.1-2+b1_arm64.deb   25-Sep-2022 17:44  563K  
 libghc-smtlib-prof_1.1-2+b1_i386.deb    25-Sep-2022 19:13  510K  
 libghc-smtlib-prof_1.1-2+b2_amd64.deb   25-Sep-2022 17:29  380K  
 libghc-smtlib-prof_1.1-2+b2_armhf.deb   25-Sep-2022 23:26  521K  
 libghc-smtlib-prof_1.1-3+b1_amd64.deb   20-Oct-2023 11:58  365K  
 libghc-smtlib-prof_1.1-3+b1_arm64.deb   20-Oct-2023 17:11  426K  
 libghc-smtlib-prof_1.1-3+b1_i386.deb    20-Oct-2023 11:53  501K  
 libghc-smtlib-prof_1.1-3+b1_riscv64.deb 25-Oct-2023 19:24  784K  
 libghc-smtlib-prof_1.1-3+b2_armhf.deb   07-Apr-2024 05:07  499K  
 libghc-smtlib-prof_1.1-3+b2_riscv64.deb 03-May-2024 04:04  782K  

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