Index of /distfiles/vcsn/


../
vcsn-2.1.tar.xz                                    20-Jan-2016 14:42              988532
vcsn-2.2.tar.xz                                    06-Apr-2016 14:26             1140588
vcsn-2.6.tar.xz                                    14-Nov-2017 12:16            15189660
vcsn-2.7.tar.xz                                    29-Mar-2018 17:20            14835124
vcsn-2.8.tar.xz                                    15-May-2018 07:16            14837372