Files
-rw-r--r-- | 3594566 | builder | users | TeXmacs-1.0.5.12-src.tar.gz |
-rw-r--r-- | 228 | builder | users | TeXmacs.desktop |
-rw-r--r-- | 9523 | builder | users | TeXmacs.spec |
-rw-r--r-- | 3594566 | builder | users | TeXmacs-1.0.5.12-src.tar.gz |
-rw-r--r-- | 228 | builder | users | TeXmacs.desktop |
-rw-r--r-- | 9523 | builder | users | TeXmacs.spec |