Index of /debian/fricas/


../
fricas-1.3.1/                                      15-Mar-2017 08:45                   -
fricas-1.3.2/                                      01-Mar-2018 16:02                   -
fricas-1.3.2-pre/                                  24-Apr-2017 06:21                   -
new/                                               17-Sep-2017 10:24                   -
verynew/                                           11-Jul-2018 06:24                   -
1.3.2.tar.gz                                       01-Mar-2018 13:02             4318771
README                                             15-Mar-2017 06:37                  23
fricas-1.3.1-full.tar.bz2                          15-Mar-2017 06:37            10522387
fricas-1.3.2-pre.tar.bz2                           22-Apr-2017 21:51            10545871
fricas-dbgsym_1.3.2-1_i386.deb                     01-Mar-2018 15:50              705060
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
fricas_1.3.2-1.debian.tar.xz                       01-Mar-2018 16:02                3640
fricas_1.3.2-1.dsc                                 01-Mar-2018 16:02                 833
fricas_1.3.2-1_i386.build                          01-Mar-2018 15:50            20958695
fricas_1.3.2-1_i386.buildinfo                      01-Mar-2018 15:50                5324
fricas_1.3.2-1_i386.changes                        01-Mar-2018 15:50                2032
fricas_1.3.2-1_i386.deb                            01-Mar-2018 15:50            14094724
fricas_1.3.2-1_source.build                        01-Mar-2018 16:02               38524
fricas_1.3.2-1_source.buildinfo                    01-Mar-2018 16:02                4822
fricas_1.3.2-1_source.changes                      01-Mar-2018 16:02                1504
fricas_1.3.2-pre-1.debian.tar.xz                   24-Apr-2017 06:21               14276
fricas_1.3.2-pre-1.dsc                             24-Apr-2017 06:21                 919
fricas_1.3.2-pre-1_i386.build                      24-Apr-2017 06:21                7994
fricas_1.3.2-pre.orig.tar.bz2                      22-Apr-2017 21:51            10545871
fricas_1.3.2.orig.tar.gz                           01-Mar-2018 13:02             4318771