Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
fonts-texmacs_2.1.4+..> 2024-10-20 02:03 1.4M
texmacs-base_2.1.4+d..> 2024-10-20 02:03 78M
texmacs-bin_2.1.4+ds..> 2024-10-20 01:48 13M
texmacs-doc_2.1.4+ds..> 2024-10-20 02:03 4.8M
texmacs-texmf_2.1.4+..> 2024-10-20 02:03 14K
texmacs_2.1.4+ds-3.d..> 2024-10-20 01:17 70M
![[TXT]](/icons/text.gif){kind=icon}
texmacs_2.1.4+ds-3.dsc 2024-10-20 01:17 3.6K
texmacs_2.1.4+ds-3_a..> 2024-10-20 01:48 10K
texmacs_2.1.4+ds.ori..> 2024-09-08 00:01 12M