Files
| -rw-r--r-- | 15128281 | mandrake | mandrake | TeXmacs-1.0.7.15-src.tar.gz |
| -rw-r--r-- | 733 | mandrake | mandrake | TeXmacs.16.png |
| -rw-r--r-- | 1972 | mandrake | mandrake | TeXmacs.32.png |
| -rw-r--r-- | 2752 | mandrake | mandrake | TeXmacs.48.png |
| -rw-r--r-- | 9533 | mandrake | mandrake | TeXmacs.spec |
