![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[DIR]](/icons/back.gif){kind=icon} | Parent Directory | - | ||
![[ ]](/icons/unknown.gif){kind=icon} | TeXmacs-debuginfo-1.0.7.16-2.tar.bz2 | 11-Nov-2012 02:59 | 325K | |
| TeXmacs-debuginfo-1.0.7.18-1.tar.bz2 | 23-Feb-2013 09:22 | 374K | |
| md5.sum | 16-Mar-2013 20:00 | 187 | |
| setup.hint | 23-Feb-2013 09:22 | 191 | |
Name Last modified Size Description Parent Directory - TeXmacs-debuginfo-1.0.7.16-2.tar.bz2 11-Nov-2012 02:59 325K TeXmacs-debuginfo-1.0.7.18-1.tar.bz2 23-Feb-2013 09:22 374K md5.sum 16-Mar-2013 20:00 187 setup.hint 23-Feb-2013 09:22 191