ftp.ntua.gr:/debian/pool/main/c/coq-dpdgraph/?C=M&O=A 
Icon  Name                                         Last modified      Size  
[DIR] Parent Directory                                                  -   
[   ] coq-dpdgraph_1.0+8.16.orig.tar.gz            06-Sep-2022 12:04   65K  
[   ] coq-dpdgraph_1.0+8.16-2.debian.tar.xz        25-Jan-2023 08:56  2.7K  
[   ] coq-dpdgraph_1.0+8.16-2.dsc                  25-Jan-2023 08:56  2.2K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_ppc64el.deb 14-Feb-2023 08:11  933K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_ppc64el.deb    14-Feb-2023 08:11   33K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_amd64.deb   14-Feb-2023 08:11  932K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb      14-Feb-2023 08:11   32K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_s390x.deb   14-Feb-2023 08:11  932K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_s390x.deb      14-Feb-2023 08:11   32K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_armhf.deb   14-Feb-2023 08:11  932K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_armhf.deb      14-Feb-2023 08:11   32K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb    14-Feb-2023 08:11  932K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb       14-Feb-2023 08:11   31K  
[   ] coq-dpdgraph-tools_1.0+8.16-2+b1_arm64.deb   14-Feb-2023 08:11  932K  
[   ] libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb      14-Feb-2023 08:11   34K  
[   ] coq-dpdgraph_1.0+8.17-1.debian.tar.xz        12-Jun-2023 23:29  2.8K  
[   ] coq-dpdgraph_1.0+8.17-1.dsc                  12-Jun-2023 23:29  2.2K  
[   ] coq-dpdgraph_1.0+8.17.orig.tar.gz            12-Jun-2023 23:29   65K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_amd64.deb      13-Jun-2023 01:58  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_amd64.deb         13-Jun-2023 01:58   32K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_i386.deb       13-Jun-2023 03:10  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_i386.deb          13-Jun-2023 03:10   31K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_armhf.deb      13-Jun-2023 06:43  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_armhf.deb         13-Jun-2023 06:43   32K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_s390x.deb      13-Jun-2023 07:29  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_s390x.deb         13-Jun-2023 07:29   32K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_arm64.deb      13-Jun-2023 11:13  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_arm64.deb         13-Jun-2023 11:13   34K  
[   ] coq-dpdgraph-tools_1.0+8.17-1_ppc64el.deb    18-Jun-2023 16:55  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1_ppc64el.deb       18-Jun-2023 16:55   33K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_amd64.deb   23-Jul-2023 15:44  933K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_amd64.deb      23-Jul-2023 15:44   33K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_ppc64el.deb 23-Jul-2023 16:25  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_ppc64el.deb    23-Jul-2023 16:25   33K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_i386.deb    23-Jul-2023 16:40  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_i386.deb       23-Jul-2023 16:40   31K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_arm64.deb   23-Jul-2023 16:56  933K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_arm64.deb      23-Jul-2023 16:56   34K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_armhf.deb   23-Jul-2023 17:58  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_armhf.deb      23-Jul-2023 17:58   32K  
[   ] coq-dpdgraph-tools_1.0+8.17-1+b1_s390x.deb   24-Jul-2023 01:44  932K  
[   ] libcoq-dpdgraph_1.0+8.17-1+b1_s390x.deb      24-Jul-2023 01:44   33K  
[   ] coq-dpdgraph_1.0+8.18-1.debian.tar.xz        22-Dec-2023 12:16  3.0K  
[   ] coq-dpdgraph_1.0+8.18-1.dsc                  22-Dec-2023 12:16  2.2K  
[   ] coq-dpdgraph_1.0+8.18.orig.tar.gz            22-Dec-2023 12:16   65K  
[   ] coq-dpdgraph-tools_1.0+8.18-1_ppc64el.deb    22-Dec-2023 12:51  1.0M  
[   ] libcoq-dpdgraph_1.0+8.18-1_ppc64el.deb       22-Dec-2023 12:51   33K  
[   ] coq-dpdgraph-tools_1.0+8.18-1_arm64.deb      22-Dec-2023 12:51  1.0M  
[   ] libcoq-dpdgraph_1.0+8.18-1_arm64.deb         22-Dec-2023 12:51   34K  
[   ] coq-dpdgraph-tools_1.0+8.18-1_s390x.deb      22-Dec-2023 12:51  1.0M  
[   ] libcoq-dpdgraph_1.0+8.18-1_s390x.deb         22-Dec-2023 12:51   32K  
[   ] coq-dpdgraph-tools_1.0+8.18-1_amd64.deb      22-Dec-2023 12:57  1.0M  
[   ] coq-dpdgraph-tools_1.0+8.18-1_i386.deb       22-Dec-2023 12:57  1.0M  
[   ] libcoq-dpdgraph_1.0+8.18-1_amd64.deb         22-Dec-2023 12:57   33K  
[   ] libcoq-dpdgraph_1.0+8.18-1_i386.deb          22-Dec-2023 12:57   31K  
[   ] coq-dpdgraph-tools_1.0+8.18-1_armhf.deb      22-Dec-2023 12:57  1.0M  
[   ] libcoq-dpdgraph_1.0+8.18-1_armhf.deb         22-Dec-2023 12:57   32K  
[   ] coq-dpdgraph_1.0+8.19-1.debian.tar.xz        26-Apr-2024 16:46  3.0K  
[   ] coq-dpdgraph_1.0+8.19-1.dsc                  26-Apr-2024 16:46  2.2K  
[   ] coq-dpdgraph_1.0+8.19.orig.tar.gz            26-Apr-2024 16:46   65K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_ppc64el.deb    27-Apr-2024 20:02  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_ppc64el.deb       27-Apr-2024 20:02   34K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_riscv64.deb    27-Apr-2024 20:28  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_riscv64.deb       27-Apr-2024 20:28   34K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_i386.deb       27-Apr-2024 20:39  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_i386.deb          27-Apr-2024 20:39   32K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_amd64.deb      28-Apr-2024 01:03  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_amd64.deb         28-Apr-2024 01:03   33K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_armhf.deb      28-Apr-2024 01:03  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_armhf.deb         28-Apr-2024 01:03   32K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_arm64.deb      28-Apr-2024 01:03  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_arm64.deb         28-Apr-2024 01:03   35K  
[   ] coq-dpdgraph-tools_1.0+8.19-1_s390x.deb      28-Apr-2024 01:36  1.0M  
[   ] libcoq-dpdgraph_1.0+8.19-1_s390x.deb         28-Apr-2024 01:36   33K
Apache/2.2 Server at debian.noc.ntua.gr Port 80