ftp.ntua.gr:/debian/pool/main/c/coq-quickchick/ 
Icon  Name                                     Last modified      Size  
[DIR] Parent Directory                                              -   
[   ] coq-quickchick_1.6.4-3.debian.tar.xz     27-Jan-2023 08:18  2.7K  
[   ] coq-quickchick_1.6.4-3.dsc               27-Jan-2023 08:18  2.2K  
[   ] coq-quickchick_1.6.4.orig.tar.gz         15-Aug-2022 09:38  379K  
[   ] coq-quickchick_2.0-2.debian.tar.xz       12-Jul-2023 12:06  2.8K  
[   ] coq-quickchick_2.0-2.dsc                 12-Jul-2023 12:06  2.0K  
[   ] coq-quickchick_2.0.2-1.debian.tar.xz     20-Jan-2024 21:21  3.0K  
[   ] coq-quickchick_2.0.2-1.dsc               20-Jan-2024 21:21  2.2K  
[   ] coq-quickchick_2.0.2.orig.tar.gz         20-Jan-2024 21:21  406K  
[   ] coq-quickchick_2.0.3-2.debian.tar.xz     01-May-2024 00:09  2.7K  
[   ] coq-quickchick_2.0.3-2.dsc               01-May-2024 00:09  2.2K  
[   ] coq-quickchick_2.0.3.orig.tar.gz         01-May-2024 00:09  402K  
[   ] coq-quickchick_2.0.orig.tar.gz           14-Jun-2023 16:57  400K  
[   ] libcoq-quickchick_1.6.4-3+b1_amd64.deb   14-Feb-2023 08:11  1.5M  
[   ] libcoq-quickchick_1.6.4-3+b1_arm64.deb   14-Feb-2023 08:11  1.5M  
[   ] libcoq-quickchick_1.6.4-3+b1_armhf.deb   14-Feb-2023 08:11  1.5M  
[   ] libcoq-quickchick_1.6.4-3+b1_i386.deb    14-Feb-2023 08:16  1.5M  
[   ] libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 15:13  1.5M  
[   ] libcoq-quickchick_1.6.4-3+b1_s390x.deb   14-Feb-2023 08:26  1.5M  
[   ] libcoq-quickchick_2.0-2+b1_amd64.deb     23-Jul-2023 15:59  1.7M  
[   ] libcoq-quickchick_2.0-2+b1_arm64.deb     23-Jul-2023 17:26  1.8M  
[   ] libcoq-quickchick_2.0-2+b1_armhf.deb     23-Jul-2023 18:40  1.7M  
[   ] libcoq-quickchick_2.0-2+b1_i386.deb      23-Jul-2023 16:56  1.7M  
[   ] libcoq-quickchick_2.0-2+b1_ppc64el.deb   23-Jul-2023 16:40  1.7M  
[   ] libcoq-quickchick_2.0-2+b1_s390x.deb     24-Jul-2023 01:59  1.7M  
[   ] libcoq-quickchick_2.0-2_amd64.deb        12-Jul-2023 13:28  1.7M  
[   ] libcoq-quickchick_2.0-2_arm64.deb        12-Jul-2023 14:44  1.8M  
[   ] libcoq-quickchick_2.0-2_armhf.deb        12-Jul-2023 13:28  1.7M  
[   ] libcoq-quickchick_2.0-2_i386.deb         12-Jul-2023 13:13  1.7M  
[   ] libcoq-quickchick_2.0-2_ppc64el.deb      12-Jul-2023 13:28  1.7M  
[   ] libcoq-quickchick_2.0-2_s390x.deb        12-Jul-2023 13:33  1.7M  
[   ] libcoq-quickchick_2.0.2-1+b1_amd64.deb   16-Feb-2024 17:04  1.6M  
[   ] libcoq-quickchick_2.0.2-1+b1_arm64.deb   16-Feb-2024 19:36  1.7M  
[   ] libcoq-quickchick_2.0.2-1+b1_i386.deb    16-Feb-2024 17:04  1.6M  
[   ] libcoq-quickchick_2.0.2-1+b1_ppc64el.deb 16-Feb-2024 17:20  1.6M  
[   ] libcoq-quickchick_2.0.2-1+b1_s390x.deb   16-Feb-2024 16:59  1.6M  
[   ] libcoq-quickchick_2.0.2-1+b2_armhf.deb   01-Apr-2024 02:29  1.6M  
[   ] libcoq-quickchick_2.0.2-1+b2_s390x.deb   20-Mar-2024 15:02  1.6M  
[   ] libcoq-quickchick_2.0.3-2+b1_amd64.deb   05-Jun-2024 02:37  3.1M  
[   ] libcoq-quickchick_2.0.3-2+b1_arm64.deb   05-Jun-2024 13:21  3.1M  
[   ] libcoq-quickchick_2.0.3-2+b1_i386.deb    05-Jun-2024 02:37  3.1M  
[   ] libcoq-quickchick_2.0.3-2_amd64.deb      01-May-2024 00:39  3.1M  
[   ] libcoq-quickchick_2.0.3-2_arm64.deb      01-May-2024 00:39  3.1M  
[   ] libcoq-quickchick_2.0.3-2_i386.deb       01-May-2024 00:39  3.1M  
[   ] libcoq-quickchick_2.0.3-2_ppc64el.deb    01-May-2024 00:39  3.1M  
[   ] libcoq-quickchick_2.0.3-2_riscv64.deb    01-May-2024 00:47  3.3M  
[   ] quickchick_1.6.4-3+b1_amd64.deb          14-Feb-2023 08:11   54K  
[   ] quickchick_1.6.4-3+b1_arm64.deb          14-Feb-2023 08:11   54K  
[   ] quickchick_1.6.4-3+b1_armhf.deb          14-Feb-2023 08:11   54K  
[   ] quickchick_1.6.4-3+b1_i386.deb           14-Feb-2023 08:16   54K  
[   ] quickchick_1.6.4-3+b1_ppc64el.deb        14-Feb-2023 15:13   54K  
[   ] quickchick_1.6.4-3+b1_s390x.deb          14-Feb-2023 08:26   54K  
[   ] quickchick_2.0-2+b1_amd64.deb            23-Jul-2023 15:59   55K  
[   ] quickchick_2.0-2+b1_arm64.deb            23-Jul-2023 17:26   55K  
[   ] quickchick_2.0-2+b1_armhf.deb            23-Jul-2023 18:40   55K  
[   ] quickchick_2.0-2+b1_i386.deb             23-Jul-2023 16:56   55K  
[   ] quickchick_2.0-2+b1_ppc64el.deb          23-Jul-2023 16:40   55K  
[   ] quickchick_2.0-2+b1_s390x.deb            24-Jul-2023 01:59   55K  
[   ] quickchick_2.0-2_amd64.deb               12-Jul-2023 13:28   55K  
[   ] quickchick_2.0-2_arm64.deb               12-Jul-2023 14:44   55K  
[   ] quickchick_2.0-2_armhf.deb               12-Jul-2023 13:28   55K  
[   ] quickchick_2.0-2_i386.deb                12-Jul-2023 13:13   55K  
[   ] quickchick_2.0-2_ppc64el.deb             12-Jul-2023 13:28   55K  
[   ] quickchick_2.0-2_s390x.deb               12-Jul-2023 13:33   55K  
[   ] quickchick_2.0.2-1+b1_amd64.deb          16-Feb-2024 17:04   57K  
[   ] quickchick_2.0.2-1+b1_arm64.deb          16-Feb-2024 19:36   57K  
[   ] quickchick_2.0.2-1+b1_i386.deb           16-Feb-2024 17:04   57K  
[   ] quickchick_2.0.2-1+b1_ppc64el.deb        16-Feb-2024 17:20   57K  
[   ] quickchick_2.0.2-1+b1_s390x.deb          16-Feb-2024 16:59   57K  
[   ] quickchick_2.0.2-1+b2_armhf.deb          01-Apr-2024 02:29   57K  
[   ] quickchick_2.0.2-1+b2_s390x.deb          20-Mar-2024 15:02   57K  
[   ] quickchick_2.0.3-2+b1_amd64.deb          05-Jun-2024 02:37  401K  
[   ] quickchick_2.0.3-2+b1_arm64.deb          05-Jun-2024 13:21  442K  
[   ] quickchick_2.0.3-2+b1_i386.deb           05-Jun-2024 02:37  394K  
[   ] quickchick_2.0.3-2_amd64.deb             01-May-2024 00:39  402K  
[   ] quickchick_2.0.3-2_arm64.deb             01-May-2024 00:39  445K  
[   ] quickchick_2.0.3-2_i386.deb              01-May-2024 00:39  394K  
[   ] quickchick_2.0.3-2_ppc64el.deb           01-May-2024 00:39  422K  
[   ] quickchick_2.0.3-2_riscv64.deb           01-May-2024 00:47  410K
Apache/2.2 Server at debian.noc.ntua.gr Port 80