Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
files/ 05-Jun-2024 02:11 -
![[ ]](/icons/unknown.gif){kind=icon}
metadata.xml 04-Nov-2022 06:40 763
![[TXT]](/icons/text.gif){kind=icon}
texlive-core-2021-r6..> 08-Jan-2024 13:14 12K
texlive-core-2021-r7..> 12-Mar-2024 08:40 12K
texlive-core-2023-r6..> 04-Jun-2024 13:10 13K
Manifest 04-Jun-2024 21:41 77K