../ 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