![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| NEWS.Debian.gz | 2013-07-06 06:21 | 179 |
| NEWS.gz | 2014-05-05 17:51 | 65K |
| README.Debian | 2013-07-06 06:21 | 592 |
| README.gz | 2013-12-07 23:55 | 9.1K |
| changelog.Debian.gz | 2017-06-09 16:42 | 1.5K |
| check.log.gz | 2017-06-09 16:42 | 148K |
| copyright | 2013-07-06 06:21 | 1.2K |
| refcard.dvi.gz | 2017-06-09 16:21 | 7.2K |
| refcard.ps.gz | 2017-06-09 16:21 | 124K |
| refcard.tex.gz | 2014-01-08 04:23 | 7.9K |