Index of /debian/pool/main/f/fricas

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fricas_1.3.11.orig.tar.bz22024-06-30 12:38 10M 
[ ]fricas_1.3.11-2_amd64.deb2024-07-28 12:33 51M 
[ ]fricas_1.3.11-2.dsc2024-07-28 11:32 2.3K 
[ ]fricas_1.3.11-2.debian.tar.xz2024-07-28 11:32 241K 
[ ]fricas-test_1.3.11-2_all.deb2024-07-28 12:33 246K 
[ ]fricas-source_1.3.11-2_all.deb2024-07-28 12:33 1.4M 
[ ]fricas-hypertex_1.3.11-2_amd64.deb2024-07-28 12:33 185K 
[ ]fricas-hypertex-data_1.3.11-2_all.deb2024-07-28 12:33 723K 
[ ]fricas-graphics_1.3.11-2_amd64.deb2024-07-28 12:33 216K 
[ ]fricas-graphics-data_1.3.11-2_all.deb2024-07-28 12:33 1.3M 
[ ]fricas-doc_1.3.11-2_all.deb2024-07-28 12:33 297K 
[ ]fricas-databases_1.3.11-2_all.deb2024-07-28 12:33 1.3M 
[ ]elpa-fricas_1.3.11-2_all.deb2024-07-28 12:33 144K