Index of /pool/universe/f/fricas

 NameLast modifiedSizeDescription

 Parent Directory  -  
 fricas_1.3.7-5.dsc2022-01-28 01:14 2.3K 
 fricas_1.3.11-2.dsc2024-07-29 07:59 2.3K 
 fricas_1.3.10-1build3.dsc2024-03-31 14:12 2.4K 
 elpa-fricas_1.3.10-1build3_all.deb2024-04-01 22:43 50K 
 elpa-fricas_1.3.7-5_all.deb2022-01-28 02:24 50K 
 elpa-fricas_1.3.11-2_all.deb2024-07-29 07:59 50K 
 fricas-hypertex_1.3.11-2_amd64.deb2024-07-29 07:59 95K 
 fricas-hypertex_1.3.10-1build3_amd64.deb2024-04-01 22:43 96K 
 fricas_1.3.7-5.debian.tar.xz2022-01-28 01:14 97K 
 fricas-hypertex_1.3.7-5_amd64.deb2022-01-28 02:24 98K 
 fricas-graphics_1.3.10-1build3_amd64.deb2024-04-01 22:43 125K 
 fricas-graphics_1.3.7-5_amd64.deb2022-01-28 02:24 127K 
 fricas-graphics_1.3.11-2_amd64.deb2024-07-29 07:59 127K 
 fricas-test_1.3.11-2_all.deb2024-07-29 07:59 157K 
 fricas-test_1.3.10-1build3_all.deb2024-04-01 22:43 159K 
 fricas-doc_1.3.10-1build3_all.deb2024-04-01 22:43 210K 
 fricas-doc_1.3.11-2_all.deb2024-07-29 07:59 211K 
 fricas-doc_1.3.7-5_all.deb2022-01-28 02:24 211K 
 fricas_1.3.10-1build3.debian.tar.xz2024-03-31 14:12 241K 
 fricas_1.3.11-2.debian.tar.xz2024-07-29 07:59 241K 
 fricas-test_1.3.7-5_all.deb2022-01-28 02:24 283K 
 fricas-hypertex-data_1.3.11-2_all.deb2024-07-29 07:59 664K 
 fricas-hypertex-data_1.3.10-1build3_all.deb2024-04-01 22:43 666K 
 fricas-hypertex-data_1.3.7-5_all.deb2022-01-28 02:24 670K 
 fricas-databases_1.3.11-2_all.deb2024-07-29 07:59 1.1M 
 fricas-databases_1.3.7-5_all.deb2022-01-28 02:24 1.1M 
 fricas-databases_1.3.10-1build3_all.deb2024-04-01 22:43 1.2M 
 fricas-graphics-data_1.3.10-1build3_all.deb2024-04-01 22:43 1.2M 
 fricas-graphics-data_1.3.11-2_all.deb2024-07-29 07:59 1.2M 
 fricas-graphics-data_1.3.7-5_all.deb2022-01-28 02:24 1.2M 
 fricas-source_1.3.7-5_all.deb2022-01-28 02:24 1.3M 
 fricas-source_1.3.11-2_all.deb2024-07-29 07:59 1.3M 
 fricas-source_1.3.10-1build3_all.deb2024-04-01 22:43 1.3M 
 fricas_1.3.7.orig.tar.bz22021-07-02 07:13 10M 
 fricas_1.3.11.orig.tar.bz22024-07-01 07:49 10M 
 fricas_1.3.10.orig.tar.bz22024-02-15 20:29 10M 
 fricas_1.3.11-2_amd64.deb2024-07-29 07:59 57M 
 fricas_1.3.7-5_amd64.deb2022-01-28 02:24 60M 
 fricas_1.3.10-1build3_amd64.deb2024-04-01 22:43 63M