![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| vaucanson-2b.0.tar.bz2 | 2013-10-22 15:20 | 509K | |
| vaucanson-2b.0.tar.xz | 2013-10-22 15:20 | 424K | |
| vaucanson-2b.1.tar.bz2 | 2013-11-13 15:27 | 516K | |
| vaucanson-2b.1.tar.xz | 2013-11-13 15:27 | 432K | |
| vaucanson-2b.2.tar.bz2 | 2014-01-10 17:04 | 553K | |
| vaucanson-2b.2.tar.xz | 2014-01-10 17:04 | 464K | |
| Vagrantfile | 2014-02-03 15:35 | 4.5K | |
| vaucanson-2b.3.tar.bz2 | 2014-02-03 15:46 | 565K | |
| vaucanson-2b.3.tar.xz | 2014-02-03 15:46 | 475K | |
| vaucanson-2b.3.box | 2014-02-03 16:31 | 827M | |
| vaucanson-2.0.tar.bz2 | 2014-07-25 14:12 | 745K | |
| vaucanson-2.0.tar.xz | 2014-07-25 14:12 | 633K | |
| vcsn.htmldir/ | 2014-10-16 14:37 | - | |
| notebooks/ | 2014-11-12 17:28 | - | |