ftp.ntua.gr:/debian/pool/main/c/coq-relation-algebra/ 
Icon  Name                                           Last modified      Size  
[DIR] Parent Directory                                                    -   
[   ] coq-relation-algebra_1.7.10-3.debian.tar.xz    01-May-2024 00:09  2.1K  
[   ] coq-relation-algebra_1.7.10-3.dsc              01-May-2024 00:09  2.2K  
[   ] coq-relation-algebra_1.7.10.orig.tar.gz        01-May-2024 00:09  192K  
[   ] coq-relation-algebra_1.7.8-2.debian.tar.xz     26-Jan-2023 14:44  1.6K  
[   ] coq-relation-algebra_1.7.8-2.dsc               26-Jan-2023 14:44  2.2K  
[   ] coq-relation-algebra_1.7.8.orig.tar.gz         23-Sep-2022 17:29  192K  
[   ] coq-relation-algebra_1.7.9-1.debian.tar.xz     14-Jun-2023 16:57  1.9K  
[   ] coq-relation-algebra_1.7.9-1.dsc               14-Jun-2023 16:57  2.2K  
[   ] coq-relation-algebra_1.7.9-2.debian.tar.xz     22-Dec-2023 13:07  2.2K  
[   ] coq-relation-algebra_1.7.9-2.dsc               22-Dec-2023 13:07  2.2K  
[   ] coq-relation-algebra_1.7.9.orig.tar.gz         14-Jun-2023 16:57  192K  
[   ] libcoq-relation-algebra_1.7.10-3+b1_amd64.deb  05-Jun-2024 02:42  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3+b1_arm64.deb  05-Jun-2024 13:27  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3+b1_i386.deb   05-Jun-2024 02:37  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3_amd64.deb     01-May-2024 00:39  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3_arm64.deb     01-May-2024 00:39  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3_i386.deb      01-May-2024 00:42  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3_ppc64el.deb   01-May-2024 00:39  2.0M  
[   ] libcoq-relation-algebra_1.7.10-3_riscv64.deb   01-May-2024 01:17  2.0M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_amd64.deb   13-Feb-2023 09:28  1.9M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_arm64.deb   13-Feb-2023 09:44  1.9M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_armhf.deb   13-Feb-2023 09:28  1.9M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_i386.deb    13-Feb-2023 09:39  1.9M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_ppc64el.deb 14-Feb-2023 02:11  1.9M  
[   ] libcoq-relation-algebra_1.7.8-2+b1_s390x.deb   13-Feb-2023 12:20  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_amd64.deb   23-Jul-2023 10:41  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_arm64.deb   23-Jul-2023 11:12  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_armhf.deb   23-Jul-2023 11:12  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_i386.deb    23-Jul-2023 10:41  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_ppc64el.deb 23-Jul-2023 11:42  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1+b1_s390x.deb   24-Jul-2023 02:14  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_amd64.deb      15-Jun-2023 03:10  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_arm64.deb      15-Jun-2023 01:42  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_armhf.deb      15-Jun-2023 01:27  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_i386.deb       15-Jun-2023 01:12  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_ppc64el.deb    19-Jun-2023 19:12  1.9M  
[   ] libcoq-relation-algebra_1.7.9-1_s390x.deb      15-Jun-2023 00:11  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b1_amd64.deb   16-Feb-2024 17:09  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b1_arm64.deb   16-Feb-2024 19:41  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b1_i386.deb    16-Feb-2024 17:09  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b1_ppc64el.deb 16-Feb-2024 17:20  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b1_s390x.deb   16-Feb-2024 17:09  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b2_armhf.deb   01-Apr-2024 02:35  1.9M  
[   ] libcoq-relation-algebra_1.7.9-2+b2_s390x.deb   20-Mar-2024 15:08  1.9M
Apache/2.2 Server at debian.noc.ntua.gr Port 80