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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] elpa-fricas_1.3.6-6_..> 2021-04-24 17:32  129K  
[   ] elpa-fricas_1.3.8-6_..> 2023-01-14 05:42  134K  
[   ] elpa-fricas_1.3.11-2..> 2024-07-28 20:33  144K  
[   ] fricas-databases_1.3..> 2021-04-24 17:32  1.2M  
[   ] fricas-databases_1.3..> 2023-01-14 05:42  1.3M  
[   ] fricas-databases_1.3..> 2024-07-28 20:33  1.3M  
[   ] fricas-doc_1.3.6-6_a..> 2021-04-24 17:32  285K  
[   ] fricas-doc_1.3.8-6_a..> 2023-01-14 05:42  288K  
[   ] fricas-doc_1.3.11-2_..> 2024-07-28 20:33  297K  
[   ] fricas-graphics-data..> 2021-04-24 17:32  1.2M  
[   ] fricas-graphics-data..> 2023-01-14 05:42  1.3M  
[   ] fricas-graphics-data..> 2024-07-28 20:33  1.3M  
[   ] fricas-graphics_1.3...> 2021-04-24 17:43  200K  
[   ] fricas-graphics_1.3...> 2023-01-14 05:41   91K  
[   ] fricas-graphics_1.3...> 2024-07-28 20:33  216K  
[   ] fricas-hypertex-data..> 2021-04-24 17:32  725K  
[   ] fricas-hypertex-data..> 2023-01-14 05:42  688K  
[   ] fricas-hypertex-data..> 2024-07-28 20:33  723K  
[   ] fricas-hypertex_1.3...> 2021-04-24 17:43  172K  
[   ] fricas-hypertex_1.3...> 2023-01-14 05:41   91K  
[   ] fricas-hypertex_1.3...> 2024-07-28 20:33  185K  
[   ] fricas-source_1.3.6-..> 2021-04-24 17:32  1.3M  
[   ] fricas-source_1.3.8-..> 2023-01-14 05:42  1.4M  
[   ] fricas-source_1.3.11..> 2024-07-28 20:33  1.4M  
[   ] fricas-test_1.3.6-6_..> 2021-04-24 17:32  353K  
[   ] fricas-test_1.3.8-6_..> 2023-01-14 05:42  252K  
[   ] fricas-test_1.3.11-2..> 2024-07-28 20:33  246K  
[   ] fricas_1.3.6-6.debia..> 2021-04-24 16:42   65K  
[TXT] fricas_1.3.6-6.dsc      2021-04-24 16:42  2.3K  
[   ] fricas_1.3.6-6_amd64..> 2021-04-24 17:43   52M  
[   ] fricas_1.3.6.orig.ta..> 2020-11-23 18:51  9.9M  
[   ] fricas_1.3.8-6.debia..> 2023-01-14 03:19  239K  
[TXT] fricas_1.3.8-6.dsc      2023-01-14 03:19  2.3K  
[   ] fricas_1.3.8-6_amd64..> 2023-01-14 05:41   55M  
[   ] fricas_1.3.8.orig.ta..> 2022-07-07 21:49   10M  
[   ] fricas_1.3.11-2.debi..> 2024-07-28 19:32  241K  
[TXT] fricas_1.3.11-2.dsc     2024-07-28 19:32  2.3K  
[   ] fricas_1.3.11-2_amd6..> 2024-07-28 20:33   51M  
[   ] fricas_1.3.11.orig.t..> 2024-06-30 20:38   10M