Index of /pub/Linux/dist/kali/pool/main/f/fricas

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fricas_1.3.11.orig.tar.bz22024-06-30 19:38 10M 
[   ]fricas_1.3.11-2.debian.tar.xz2024-07-28 18:32 241K 
[TXT]fricas_1.3.11-2.dsc2024-07-28 18:32 2.3K 
[   ]fricas-graphics_1.3.11-2_amd64.deb2024-07-28 19:33 216K 
[   ]fricas-hypertex_1.3.11-2_amd64.deb2024-07-28 19:33 185K 
[   ]fricas_1.3.11-2_amd64.deb2024-07-28 19:33 51M 
[   ]elpa-fricas_1.3.11-2_all.deb2024-07-28 19:33 144K 
[   ]fricas-databases_1.3.11-2_all.deb2024-07-28 19:33 1.3M 
[   ]fricas-doc_1.3.11-2_all.deb2024-07-28 19:33 297K 
[   ]fricas-graphics-data_1.3.11-2_all.deb2024-07-28 19:33 1.3M 
[   ]fricas-hypertex-data_1.3.11-2_all.deb2024-07-28 19:33 723K 
[   ]fricas-source_1.3.11-2_all.deb2024-07-28 19:33 1.4M 
[   ]fricas-test_1.3.11-2_all.deb2024-07-28 19:33 246K 
[   ]fricas-graphics_1.3.11-2_armhf.deb2024-07-28 19:38 200K 
[   ]fricas-hypertex_1.3.11-2_armhf.deb2024-07-28 19:38 173K 
[   ]fricas_1.3.11-2_armhf.deb2024-07-28 19:38 49M 
[   ]fricas-graphics_1.3.11-2_i386.deb2024-07-28 19:38 216K 
[   ]fricas-hypertex_1.3.11-2_i386.deb2024-07-28 19:38 189K 
[   ]fricas_1.3.11-2_i386.deb2024-07-28 19:38 49M 
[   ]fricas-graphics_1.3.11-2_armel.deb2024-07-28 19:43 202K 
[   ]fricas-hypertex_1.3.11-2_armel.deb2024-07-28 19:43 174K 
[   ]fricas_1.3.11-2_armel.deb2024-07-28 19:43 46M 
[   ]fricas-graphics_1.3.11-2_arm64.deb2024-07-28 20:24 204K 
[   ]fricas-hypertex_1.3.11-2_arm64.deb2024-07-28 20:24 179K 
[   ]fricas_1.3.11-2_arm64.deb2024-07-28 20:24 48M 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443