ftp.ntua.gr:/debian/pool/main/c/coq-mtac2/ 
Icon  Name                                   Last modified      Size  
[DIR] Parent Directory                                            -   
[   ] coq-mtac2_1.4+8.16-2.debian.tar.xz     26-Jan-2023 14:44  2.4K  
[   ] coq-mtac2_1.4+8.16-2.dsc               26-Jan-2023 14:44  2.1K  
[   ] coq-mtac2_1.4+8.16.orig.tar.gz         06-Sep-2022 12:09  245K  
[   ] coq-mtac2_1.4+8.17-1.debian.tar.xz     13-Jun-2023 08:20  2.6K  
[   ] coq-mtac2_1.4+8.17-1.dsc               13-Jun-2023 08:20  2.1K  
[   ] coq-mtac2_1.4+8.17.orig.tar.gz         13-Jun-2023 08:20  246K  
[   ] coq-mtac2_1.4+8.18-1.debian.tar.xz     22-Dec-2023 13:07  2.7K  
[   ] coq-mtac2_1.4+8.18-1.dsc               22-Dec-2023 13:07  2.1K  
[   ] coq-mtac2_1.4+8.18.orig.tar.gz         22-Dec-2023 13:07  246K  
[   ] coq-mtac2_1.4+8.19-1.debian.tar.xz     26-Apr-2024 17:06  2.7K  
[   ] coq-mtac2_1.4+8.19-1.dsc               26-Apr-2024 17:06  2.1K  
[   ] coq-mtac2_1.4+8.19.orig.tar.gz         26-Apr-2024 17:06  246K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_amd64.deb   13-Feb-2023 09:28  745K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_arm64.deb   13-Feb-2023 09:28  754K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_armhf.deb   13-Feb-2023 09:28  743K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_i386.deb    13-Feb-2023 09:34  733K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb 14-Feb-2023 13:17  748K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_s390x.deb   13-Feb-2023 09:33  748K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_amd64.deb   23-Jul-2023 09:14  753K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_arm64.deb   23-Jul-2023 08:44  762K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_armhf.deb   23-Jul-2023 08:59  752K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_i386.deb    23-Jul-2023 10:26  741K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_ppc64el.deb 23-Jul-2023 09:14  756K  
[   ] libcoq-mtac2_1.4+8.17-1+b1_s390x.deb   24-Jul-2023 01:59  757K  
[   ] libcoq-mtac2_1.4+8.17-1_amd64.deb      13-Jun-2023 11:43  752K  
[   ] libcoq-mtac2_1.4+8.17-1_arm64.deb      17-Jun-2023 16:13  762K  
[   ] libcoq-mtac2_1.4+8.17-1_armhf.deb      13-Jun-2023 10:58  751K  
[   ] libcoq-mtac2_1.4+8.17-1_i386.deb       13-Jun-2023 11:13  741K  
[   ] libcoq-mtac2_1.4+8.17-1_ppc64el.deb    20-Jun-2023 00:57  756K  
[   ] libcoq-mtac2_1.4+8.17-1_s390x.deb      13-Jun-2023 15:27  757K  
[   ] libcoq-mtac2_1.4+8.18-1_amd64.deb      23-Dec-2023 13:52  767K  
[   ] libcoq-mtac2_1.4+8.18-1_arm64.deb      23-Dec-2023 13:52  777K  
[   ] libcoq-mtac2_1.4+8.18-1_armhf.deb      23-Dec-2023 13:52  765K  
[   ] libcoq-mtac2_1.4+8.18-1_i386.deb       23-Dec-2023 13:52  755K  
[   ] libcoq-mtac2_1.4+8.18-1_ppc64el.deb    23-Dec-2023 13:52  770K  
[   ] libcoq-mtac2_1.4+8.18-1_s390x.deb      23-Dec-2023 13:52  771K  
[   ] libcoq-mtac2_1.4+8.19-1_amd64.deb      28-Apr-2024 18:11  778K  
[   ] libcoq-mtac2_1.4+8.19-1_arm64.deb      28-Apr-2024 18:11  788K  
[   ] libcoq-mtac2_1.4+8.19-1_armhf.deb      28-Apr-2024 18:16  777K  
[   ] libcoq-mtac2_1.4+8.19-1_i386.deb       28-Apr-2024 18:11  767K  
[   ] libcoq-mtac2_1.4+8.19-1_ppc64el.deb    28-Apr-2024 18:11  782K  
[   ] libcoq-mtac2_1.4+8.19-1_riscv64.deb    28-Apr-2024 18:47  782K  
[   ] libcoq-mtac2_1.4+8.19-1_s390x.deb      28-Apr-2024 18:21  781K
Apache/2.2 Server at debian.noc.ntua.gr Port 80