Name	Last Modified	Size
Parent Directory
repodata/	19-Dec-2025 16:11
src/	19-Dec-2025 16:11
x86_64/	19-Dec-2025 16:11
home:jmnotin:TeXmacs.repo	19-Dec-2025 16:11	274 Byte

DB was synched from remote : 2025-12-25 22:18:20.302