Index of /ubuntu/pool/universe/f/fricas/
../
elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800
elpa-fricas_1.3.8-1_all.deb 07-Jul-2022 23:43 50366
elpa-fricas_1.3.8-4_all.deb 23-Dec-2022 06:09 50408
fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948
fricas-databases_1.3.8-1_all.deb 07-Jul-2022 23:44 1196106
fricas-databases_1.3.8-4_all.deb 23-Dec-2022 06:09 1196142
fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252
fricas-doc_1.3.8-1_all.deb 07-Jul-2022 23:44 215502
fricas-doc_1.3.8-4_all.deb 23-Dec-2022 06:09 215496
fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516
fricas-graphics-data_1.3.8-1_all.deb 07-Jul-2022 23:44 1225504
fricas-graphics-data_1.3.8-4_all.deb 23-Dec-2022 06:09 1222634
fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 129700
fricas-graphics_1.3.8-1_amd64.deb 07-Jul-2022 23:44 129462
fricas-graphics_1.3.8-4_amd64.deb 23-Dec-2022 06:09 3508
fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912
fricas-hypertex-data_1.3.8-1_all.deb 07-Jul-2022 23:43 681730
fricas-hypertex-data_1.3.8-4_all.deb 23-Dec-2022 06:09 651818
fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 99942
fricas-hypertex_1.3.8-1_amd64.deb 07-Jul-2022 23:43 98810
fricas-hypertex_1.3.8-4_amd64.deb 23-Dec-2022 06:09 3508
fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730
fricas-source_1.3.8-1_all.deb 07-Jul-2022 23:43 1390442
fricas-source_1.3.8-4_all.deb 23-Dec-2022 06:09 1390412
fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230
fricas-test_1.3.8-1_all.deb 07-Jul-2022 23:44 175144
fricas-test_1.3.8-4_all.deb 23-Dec-2022 06:08 175104
fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 17:14 99416
fricas_1.3.7-5.dsc 27-Jan-2022 17:14 2351
fricas_1.3.7-5_amd64.deb 27-Jan-2022 18:24 62769332
fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10859960
fricas_1.3.8-1.debian.tar.xz 07-Jul-2022 23:24 245160
fricas_1.3.8-1.dsc 07-Jul-2022 23:24 2354
fricas_1.3.8-1_amd64.deb 07-Jul-2022 23:44 62313718
fricas_1.3.8-4.debian.tar.xz 23-Dec-2022 05:19 245160
fricas_1.3.8-4.dsc 23-Dec-2022 05:19 2352
fricas_1.3.8-4_amd64.deb 23-Dec-2022 06:09 62178424
fricas_1.3.8.orig.tar.bz2 07-Jul-2022 23:24 10878913