Index of /ubuntu/pool/universe/f/fricas/


../
elpa-fricas_1.3.6-5_all.deb                        03-Mar-2021 20:38               48152
elpa-fricas_1.3.7-1_all.deb                        02-Jul-2021 00:24               48768
elpa-fricas_1.3.7-3_all.deb                        14-Nov-2021 11:09               50692
fricas-databases_1.3.6-5_all.deb                   03-Mar-2021 20:38             1204368
fricas-databases_1.3.7-1_all.deb                   02-Jul-2021 00:24             1219656
fricas-databases_1.3.7-3_all.deb                   14-Nov-2021 11:09             1195044
fricas-doc_1.3.6-5_all.deb                         03-Mar-2021 20:38              207020
fricas-doc_1.3.7-1_all.deb                         02-Jul-2021 00:24              206464
fricas-doc_1.3.7-3_all.deb                         14-Nov-2021 11:09              216148
fricas-graphics-data_1.3.6-5_all.deb               03-Mar-2021 20:38             1215824
fricas-graphics-data_1.3.7-1_all.deb               02-Jul-2021 00:24             1235472
fricas-graphics-data_1.3.7-3_all.deb               14-Nov-2021 11:09             1261060
fricas-graphics_1.3.6-5_amd64.deb                  03-Mar-2021 20:38                3688
fricas-graphics_1.3.7-1_amd64.deb                  02-Jul-2021 00:24              121240
fricas-graphics_1.3.7-3_amd64.deb                  14-Nov-2021 11:09              129878
fricas-hypertex-data_1.3.6-5_all.deb               03-Mar-2021 20:38              631328
fricas-hypertex-data_1.3.7-1_all.deb               02-Jul-2021 00:24              644216
fricas-hypertex-data_1.3.7-3_all.deb               14-Nov-2021 11:09              685858
fricas-hypertex_1.3.6-5_amd64.deb                  03-Mar-2021 20:38                3680
fricas-hypertex_1.3.7-1_amd64.deb                  02-Jul-2021 00:24               92156
fricas-hypertex_1.3.7-3_amd64.deb                  14-Nov-2021 11:09               99550
fricas-source_1.3.6-5_all.deb                      03-Mar-2021 20:38             1319936
fricas-source_1.3.7-1_all.deb                      02-Jul-2021 00:24             1350844
fricas-source_1.3.7-3_all.deb                      14-Nov-2021 11:09             1382402
fricas-test_1.3.6-5_all.deb                        03-Mar-2021 20:38              278160
fricas-test_1.3.7-1_all.deb                        02-Jul-2021 00:24              284420
fricas-test_1.3.7-3_all.deb                        14-Nov-2021 11:09              290162
fricas_1.3.6-5.debian.tar.xz                       13-Feb-2021 17:18               66040
fricas_1.3.6-5.dsc                                 13-Feb-2021 17:18                2346
fricas_1.3.6-5_amd64.deb                           03-Mar-2021 20:38            54753424
fricas_1.3.6.orig.tar.bz2                          24-Nov-2020 05:18            10422732
fricas_1.3.7-1.debian.tar.xz                       01-Jul-2021 23:13               64812
fricas_1.3.7-1.dsc                                 01-Jul-2021 23:13                2346
fricas_1.3.7-1_amd64.deb                           02-Jul-2021 00:24            55758832
fricas_1.3.7-3.debian.tar.xz                       18-Oct-2021 20:09               64896
fricas_1.3.7-3.dsc                                 18-Oct-2021 20:09                2346
fricas_1.3.7-3_amd64.deb                           14-Nov-2021 11:09            62753758
fricas_1.3.7.orig.tar.bz2                          01-Jul-2021 23:13            10859960