files.etlam.eu - /linux/debian/mirror/debian-ports-20240608/pool/main/f/fricas/

[To Parent Directory]

 7/13/2024  1:44 AM       143484 elpa-fricas_1.3.10-2_all.deb
 7/13/2024  1:44 AM      1335464 fricas-databases_1.3.10-2_all.deb
 7/13/2024  1:44 AM       300432 fricas-doc_1.3.10-2_all.deb
 7/13/2024  1:44 AM      1332108 fricas-graphics-data_1.3.10-2_all.deb
 7/13/2024  1:44 AM       738968 fricas-hypertex-data_1.3.10-2_all.deb
 7/13/2024  1:44 AM      1465736 fricas-source_1.3.10-2_all.deb
 7/13/2024  1:44 AM       251436 fricas-test_1.3.10-2_all.deb