Index of /linux/debian/debian-ports/pool/main/f/fricas

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 elpa-fricas_1.3.13-3_all.deb            2026-10-06 21:52  149K  
 fricas-databases_1.3.13-3_all.deb       2026-10-06 21:52  1.3M  
 fricas-doc_1.3.13-3_all.deb             2026-10-06 21:52  300K  
 fricas-graphics-data_1.3.13-3_all.deb   2026-10-06 21:52  1.3M  
 fricas-hypertex-data_1.3.13-3_all.deb   2026-10-06 21:52  727K  
 fricas-source_1.3.13-3_all.deb          2026-10-06 21:52  1.4M  
 fricas-test_1.3.13-3_all.deb            2026-10-06 21:52  251K