ftp.ntua.gr:/debian/pool/main/c/coq-equations/ 
Icon  Name                                       Last modified      Size  
[DIR] Parent Directory                                                -   
[   ] coq-equations_1.3-8.16-2.debian.tar.xz     26-Jan-2023 14:44  2.2K  
[   ] coq-equations_1.3-8.16-2.dsc               26-Jan-2023 14:44  2.1K  
[   ] coq-equations_1.3-8.16.orig.tar.gz         06-Sep-2022 12:09  1.0M  
[   ] coq-equations_1.3-8.17-1.debian.tar.xz     13-Jun-2023 08:20  2.4K  
[   ] coq-equations_1.3-8.17-1.dsc               13-Jun-2023 08:20  2.1K  
[   ] coq-equations_1.3-8.17.orig.tar.gz         13-Jun-2023 08:20  1.0M  
[   ] coq-equations_1.3-8.18-1.debian.tar.xz     22-Dec-2023 13:07  2.6K  
[   ] coq-equations_1.3-8.18-1.dsc               22-Dec-2023 13:07  2.1K  
[   ] coq-equations_1.3-8.18.orig.tar.gz         22-Dec-2023 13:07  1.1M  
[   ] coq-equations_1.3-8.19-1.debian.tar.xz     26-Apr-2024 17:01  2.6K  
[   ] coq-equations_1.3-8.19-1.dsc               26-Apr-2024 17:01  2.1K  
[   ] coq-equations_1.3-8.19.orig.tar.gz         26-Apr-2024 17:01  1.1M  
[   ] libcoq-equations_1.3-8.16-2+b1_amd64.deb   14-Feb-2023 08:11  1.4M  
[   ] libcoq-equations_1.3-8.16-2+b1_arm64.deb   14-Feb-2023 08:11  1.4M  
[   ] libcoq-equations_1.3-8.16-2+b1_armhf.deb   14-Feb-2023 08:11  1.3M  
[   ] libcoq-equations_1.3-8.16-2+b1_i386.deb    14-Feb-2023 08:11  1.3M  
[   ] libcoq-equations_1.3-8.16-2+b1_ppc64el.deb 14-Feb-2023 08:11  1.4M  
[   ] libcoq-equations_1.3-8.16-2+b1_s390x.deb   14-Feb-2023 08:11  1.4M  
[   ] libcoq-equations_1.3-8.17-1+b1_amd64.deb   23-Jul-2023 15:59  1.3M  
[   ] libcoq-equations_1.3-8.17-1+b1_arm64.deb   23-Jul-2023 17:26  1.4M  
[   ] libcoq-equations_1.3-8.17-1+b1_armhf.deb   23-Jul-2023 18:40  1.3M  
[   ] libcoq-equations_1.3-8.17-1+b1_i386.deb    23-Jul-2023 16:40  1.3M  
[   ] libcoq-equations_1.3-8.17-1+b1_ppc64el.deb 23-Jul-2023 16:25  1.3M  
[   ] libcoq-equations_1.3-8.17-1+b1_s390x.deb   24-Jul-2023 01:42  1.4M  
[   ] libcoq-equations_1.3-8.17-1_amd64.deb      13-Jun-2023 11:28  1.3M  
[   ] libcoq-equations_1.3-8.17-1_arm64.deb      16-Jun-2023 19:42  1.4M  
[   ] libcoq-equations_1.3-8.17-1_armhf.deb      13-Jun-2023 10:43  1.3M  
[   ] libcoq-equations_1.3-8.17-1_i386.deb       13-Jun-2023 10:43  1.3M  
[   ] libcoq-equations_1.3-8.17-1_ppc64el.deb    20-Jun-2023 11:40  1.3M  
[   ] libcoq-equations_1.3-8.17-1_s390x.deb      13-Jun-2023 14:26  1.3M  
[   ] libcoq-equations_1.3-8.18-1_amd64.deb      23-Dec-2023 13:47  1.3M  
[   ] libcoq-equations_1.3-8.18-1_arm64.deb      23-Dec-2023 13:47  1.4M  
[   ] libcoq-equations_1.3-8.18-1_armhf.deb      23-Dec-2023 13:52  1.3M  
[   ] libcoq-equations_1.3-8.18-1_i386.deb       23-Dec-2023 13:47  1.3M  
[   ] libcoq-equations_1.3-8.18-1_ppc64el.deb    23-Dec-2023 13:47  1.3M  
[   ] libcoq-equations_1.3-8.18-1_s390x.deb      23-Dec-2023 13:47  1.3M  
[   ] libcoq-equations_1.3-8.19-1_amd64.deb      28-Apr-2024 18:05  1.1M  
[   ] libcoq-equations_1.3-8.19-1_arm64.deb      28-Apr-2024 18:11  1.1M  
[   ] libcoq-equations_1.3-8.19-1_armhf.deb      28-Apr-2024 18:06  1.1M  
[   ] libcoq-equations_1.3-8.19-1_i386.deb       28-Apr-2024 18:05  1.1M  
[   ] libcoq-equations_1.3-8.19-1_ppc64el.deb    28-Apr-2024 18:05  1.1M  
[   ] libcoq-equations_1.3-8.19-1_riscv64.deb    28-Apr-2024 18:21  1.1M  
[   ] libcoq-equations_1.3-8.19-1_s390x.deb      28-Apr-2024 18:16  1.1M
Apache/2.2 Server at debian.noc.ntua.gr Port 80