Index of /debian/fricas/


../
fricas-1.3.1/                                      15-Mar-2017 08:45                   -
README                                             15-Mar-2017 06:37                  23
fricas-1.3.1-full.tar.bz2                          15-Mar-2017 06:37            10522387
fricas_1.3.1-1.debian.tar.xz                       15-Mar-2017 08:30               11768
fricas_1.3.1-1.dsc                                 15-Mar-2017 08:30                 891
fricas_1.3.1-1_i386.build                          15-Mar-2017 08:46             4970763
fricas_1.3.1.orig.tar.bz2                          15-Mar-2017 06:37            10522387