Index of /main/w/why3/


../
why3_0.87.0-1.debian.tar.xz                        23-Mar-2016 11:55               10068
why3_0.87.0-1.dsc                                  23-Mar-2016 11:55                2351
why3_0.87.0-2.debian.tar.xz                        15-Apr-2016 23:08               12216
why3_0.87.0-2.dsc                                  15-Apr-2016 23:08                2536
why3_0.87.0-3.debian.tar.xz                        15-Apr-2016 23:08               12280
why3_0.87.0-3.dsc                                  15-Apr-2016 23:08                2536
why3_0.87.0.orig.tar.gz                            23-Mar-2016 11:55             4459479
why3_0.87.1-1.debian.tar.xz                        09-Jun-2016 17:08               11876
why3_0.87.1-1.dsc                                  09-Jun-2016 17:08                2536
why3_0.87.1-2.debian.tar.xz                        20-Jul-2016 04:59               12092
why3_0.87.1-2.dsc                                  20-Jul-2016 04:59                2592
why3_0.87.1.orig.tar.gz                            09-Jun-2016 17:08             4480316
why3_0.87.2-1.debian.tar.xz                        01-Sep-2016 22:54               11244
why3_0.87.2-1.dsc                                  01-Sep-2016 22:54                2569
why3_0.87.2-2.debian.tar.xz                        21-Sep-2016 22:52               11328
why3_0.87.2-2.dsc                                  21-Sep-2016 22:52                2581
why3_0.87.2-3.debian.tar.xz                        04-Jan-2017 12:35               24312
why3_0.87.2-3.dsc                                  04-Jan-2017 12:35                2623
why3_0.87.2.orig.tar.gz                            01-Sep-2016 22:54             4480295
why3_0.87.3-1.debian.tar.xz                        17-Jan-2017 03:55               11552
why3_0.87.3-1.dsc                                  17-Jan-2017 03:55                2613
why3_0.87.3-2.debian.tar.xz                        22-Jan-2017 05:35               12404
why3_0.87.3-2.dsc                                  22-Jan-2017 05:35                2613
why3_0.87.3.orig.tar.gz                            17-Jan-2017 03:55             4501588
why3_0.88.2-1.debian.tar.xz                        13-Dec-2017 05:28               12592
why3_0.88.2-1.dsc                                  13-Dec-2017 05:28                2642
why3_0.88.2.orig.tar.gz                            13-Dec-2017 05:28             4488646
why3_0.88.3-1.debian.tar.xz                        17-Jan-2018 06:25               12624
why3_0.88.3-1.dsc                                  17-Jan-2018 06:25                2642
why3_0.88.3-2.debian.tar.xz                        08-Apr-2018 23:26               12992
why3_0.88.3-2.dsc                                  08-Apr-2018 23:26                2642
why3_0.88.3-3.debian.tar.xz                        27-May-2018 17:56               13192
why3_0.88.3-3.dsc                                  27-May-2018 17:56                2620
why3_0.88.3.orig.tar.gz                            17-Jan-2018 06:25             4245737
why3_1.0.0-1.debian.tar.xz                         28-Jun-2018 23:21               13100
why3_1.0.0-1.dsc                                   28-Jun-2018 23:21                2613
why3_1.0.0-2.debian.tar.xz                         13-Aug-2018 05:16               13260
why3_1.0.0-2.dsc                                   13-Aug-2018 05:16                2613
why3_1.0.0.orig.tar.gz                             28-Jun-2018 23:21             5209657
why3_1.1.0-1.debian.tar.xz                         06-Nov-2018 15:09               15968
why3_1.1.0-1.dsc                                   06-Nov-2018 15:09                2557
why3_1.1.0.orig.tar.gz                             06-Nov-2018 15:09             5554169
why3_1.1.1-1.debian.tar.xz                         18-Dec-2018 23:33               15980
why3_1.1.1-1.dsc                                   18-Dec-2018 23:33                2557
why3_1.1.1-2.debian.tar.xz                         11-Jan-2019 12:45               16168
why3_1.1.1-2.dsc                                   11-Jan-2019 12:45                2557
why3_1.1.1-3.debian.tar.xz                         04-Feb-2019 17:53               16200
why3_1.1.1-3.dsc                                   04-Feb-2019 17:53                2529
why3_1.1.1-4.debian.tar.xz                         08-Feb-2019 06:07               16192
why3_1.1.1-4.dsc                                   08-Feb-2019 06:07                2578
why3_1.1.1.orig.tar.gz                             18-Dec-2018 23:33             5551050
why3_1.2.0-1.debian.tar.xz                         16-Feb-2019 05:24               16332
why3_1.2.0-1.dsc                                   16-Feb-2019 05:24                2634
why3_1.2.0-2.debian.tar.xz                         30-Aug-2019 05:47               17688
why3_1.2.0-2.dsc                                   30-Aug-2019 05:47                2634
why3_1.2.0-3.debian.tar.xz                         16-Oct-2019 00:16               17784
why3_1.2.0-3.dsc                                   16-Oct-2019 00:16                2634
why3_1.2.0.orig.tar.gz                             16-Feb-2019 05:24             6005013
why3_1.2.1-1.debian.tar.xz                         30-Oct-2019 17:56               16692
why3_1.2.1-1.dsc                                   30-Oct-2019 17:56                2634
why3_1.2.1-2.debian.tar.xz                         04-Nov-2019 07:46               17076
why3_1.2.1-2.dsc                                   04-Nov-2019 07:46                2634
why3_1.2.1.orig.tar.gz                             30-Oct-2019 17:56             6006383