ftp.ntua.gr:/debian/pool/main/l/lambda-term/
Icon  Name                                              Last modified      Size  
[DIR] Parent Directory - [   ] lambda-term_1.10.1-1.debian.tar.xz 15-Sep-2016 01:28 2.8K [   ] lambda-term_1.10.1-1.dsc 15-Sep-2016 01:28 2.2K [   ] lambda-term_1.10.1-2.debian.tar.xz 27-Jul-2017 08:02 2.9K [   ] lambda-term_1.10.1-2.dsc 27-Jul-2017 08:02 2.3K [   ] lambda-term_1.10.1.orig.tar.gz 15-Sep-2016 01:28 159K [   ] lambda-term_3.1.0-1.debian.tar.xz 25-Sep-2020 11:32 3.0K [   ] lambda-term_3.1.0-1.dsc 25-Sep-2020 11:32 2.0K [   ] lambda-term_3.1.0.orig.tar.gz 25-Sep-2020 11:32 141K [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_amd64.deb 17-Mar-2017 18:15 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_arm64.deb 17-Mar-2017 08:45 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_armel.deb 19-Mar-2017 05:57 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_armhf.deb 18-Mar-2017 13:12 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_i386.deb 17-Mar-2017 16:59 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_mips.deb 17-Mar-2017 17:14 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_mips64el.deb 19-Mar-2017 02:25 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_mipsel.deb 18-Mar-2017 12:26 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_ppc64el.deb 17-Mar-2017 09:41 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-1+b1_s390x.deb 17-Mar-2017 09:10 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_amd64.deb 17-Oct-2017 17:56 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_arm64.deb 17-Oct-2017 17:11 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_armel.deb 17-Oct-2017 17:26 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_armhf.deb 17-Oct-2017 17:26 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_i386.deb 17-Oct-2017 17:56 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_mips.deb 17-Oct-2017 17:26 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_mips64el.deb 17-Oct-2017 17:41 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_mipsel.deb 17-Oct-2017 17:41 1.2M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_ppc64el.deb 17-Oct-2017 17:11 1.4M [   ] liblambda-term-ocaml-dev_1.10.1-2+b1_s390x.deb 17-Oct-2017 17:11 1.4M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_amd64.deb 19-Dec-2020 18:12 2.2M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_arm64.deb 19-Dec-2020 18:12 2.2M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_armel.deb 19-Dec-2020 18:12 2.0M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_armhf.deb 19-Dec-2020 18:12 2.3M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_i386.deb 19-Dec-2020 18:12 2.2M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_mips64el.deb 19-Dec-2020 18:27 2.0M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_mipsel.deb 19-Dec-2020 18:27 2.0M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_ppc64el.deb 19-Dec-2020 18:12 2.3M [   ] liblambda-term-ocaml-dev_3.1.0-1+b2_s390x.deb 19-Dec-2020 18:02 2.2M [   ] liblambda-term-ocaml_1.10.1-1+b1_amd64.deb 17-Mar-2017 18:15 1.1M [   ] liblambda-term-ocaml_1.10.1-1+b1_arm64.deb 17-Mar-2017 08:45 1.1M [   ] liblambda-term-ocaml_1.10.1-1+b1_armel.deb 19-Mar-2017 05:57 1.1M [   ] liblambda-term-ocaml_1.10.1-1+b1_armhf.deb 18-Mar-2017 13:12 1.2M [   ] liblambda-term-ocaml_1.10.1-1+b1_i386.deb 17-Mar-2017 16:59 1.1M [   ] liblambda-term-ocaml_1.10.1-1+b1_mips.deb 17-Mar-2017 17:14 1.4M [   ] liblambda-term-ocaml_1.10.1-1+b1_mips64el.deb 19-Mar-2017 02:25 1.4M [   ] liblambda-term-ocaml_1.10.1-1+b1_mipsel.deb 18-Mar-2017 12:26 1.4M [   ] liblambda-term-ocaml_1.10.1-1+b1_ppc64el.deb 17-Mar-2017 09:41 1.4M [   ] liblambda-term-ocaml_1.10.1-1+b1_s390x.deb 17-Mar-2017 09:10 1.4M [   ] liblambda-term-ocaml_1.10.1-2+b1_amd64.deb 17-Oct-2017 17:56 1.3M [   ] liblambda-term-ocaml_1.10.1-2+b1_arm64.deb 17-Oct-2017 17:11 1.4M [   ] liblambda-term-ocaml_1.10.1-2+b1_armel.deb 17-Oct-2017 17:26 1.5M [   ] liblambda-term-ocaml_1.10.1-2+b1_armhf.deb 17-Oct-2017 17:26 1.2M [   ] liblambda-term-ocaml_1.10.1-2+b1_i386.deb 17-Oct-2017 17:56 1.2M [   ] liblambda-term-ocaml_1.10.1-2+b1_mips.deb 17-Oct-2017 17:26 1.5M [   ] liblambda-term-ocaml_1.10.1-2+b1_mips64el.deb 17-Oct-2017 17:41 1.5M [   ] liblambda-term-ocaml_1.10.1-2+b1_mipsel.deb 17-Oct-2017 17:41 1.5M [   ] liblambda-term-ocaml_1.10.1-2+b1_ppc64el.deb 17-Oct-2017 17:11 1.3M [   ] liblambda-term-ocaml_1.10.1-2+b1_s390x.deb 17-Oct-2017 17:11 1.3M [   ] liblambda-term-ocaml_3.1.0-1+b2_amd64.deb 19-Dec-2020 18:12 2.0M [   ] liblambda-term-ocaml_3.1.0-1+b2_arm64.deb 19-Dec-2020 18:12 2.2M [   ] liblambda-term-ocaml_3.1.0-1+b2_armel.deb 19-Dec-2020 18:12 1.1M [   ] liblambda-term-ocaml_3.1.0-1+b2_armhf.deb 19-Dec-2020 18:12 2.0M [   ] liblambda-term-ocaml_3.1.0-1+b2_i386.deb 19-Dec-2020 18:12 2.0M [   ] liblambda-term-ocaml_3.1.0-1+b2_mips64el.deb 19-Dec-2020 18:27 1.1M [   ] liblambda-term-ocaml_3.1.0-1+b2_mipsel.deb 19-Dec-2020 18:27 1.1M [   ] liblambda-term-ocaml_3.1.0-1+b2_ppc64el.deb 19-Dec-2020 18:12 2.1M [   ] liblambda-term-ocaml_3.1.0-1+b2_s390x.deb 19-Dec-2020 18:02 2.0M
Apache/2.2 Server at debian.noc.ntua.gr Port 80