Name	Last Modified	Size
Parent Directory
repodata/	15-Dec-2023 16:50
src/	15-Dec-2023 16:50
x86_64/	15-Dec-2023 16:50
home:jmnotin:TeXmacs.repo	15-Dec-2023 16:50	274 Byte

DB was synched from remote : 2023-12-17 19:47:59.047