Name Last modified Size Description
Parent Directory -
fricas-test_1.3.6-6_all.deb 29-Apr-2021 16:39 272K
fricas-hypertex_1.3.6-6_amd64.deb 29-Apr-2021 16:39 90K
fricas-hypertex-data_1.3.6-6_all.deb 29-Apr-2021 16:39 644K
fricas-graphics_1.3.6-6_amd64.deb 29-Apr-2021 16:39 119K
fricas-graphics-data_1.3.6-6_all.deb 29-Apr-2021 16:39 1.2M
fricas_1.3.6-6_amd64.deb 29-Apr-2021 16:39 52M
fricas-databases_1.3.6-6_all.deb 29-Apr-2021 16:39 1.1M
elpa-fricas_1.3.6-6_all.deb 29-Apr-2021 16:39 47K
fricas-source_1.3.6-6_all.deb 29-Apr-2021 16:39 1.3M
fricas-doc_1.3.6-6_all.deb 29-Apr-2021 16:39 202K
fricas_1.3.6-6.debian.tar.xz 29-Apr-2021 15:23 65K
fricas_1.3.6-6.dsc 29-Apr-2021 15:23 2.3K
fricas_1.3.6-5_amd64.deb 03-Mar-2021 22:38 52M
fricas-test_1.3.6-5_all.deb 03-Mar-2021 22:38 272K
elpa-fricas_1.3.6-5_all.deb 03-Mar-2021 22:38 47K
fricas-source_1.3.6-5_all.deb 03-Mar-2021 22:38 1.3M
fricas-hypertex_1.3.6-5_amd64.deb 03-Mar-2021 22:38 3.6K
fricas-hypertex-data_1.3.6-5_all.deb 03-Mar-2021 22:38 617K
fricas-graphics_1.3.6-5_amd64.deb 03-Mar-2021 22:38 3.6K
fricas-graphics-data_1.3.6-5_all.deb 03-Mar-2021 22:38 1.2M
fricas-doc_1.3.6-5_all.deb 03-Mar-2021 22:38 202K
fricas-databases_1.3.6-5_all.deb 03-Mar-2021 22:38 1.1M
fricas_1.3.6-5.debian.tar.xz 13-Feb-2021 19:18 64K
fricas_1.3.6-5.dsc 13-Feb-2021 19:18 2.3K
fricas_1.3.6.orig.tar.bz2 24-Nov-2020 07:18 9.9M
Apache/2.2 Server at ftp.ntua.gr Port 80