Name	Last Modified	Size
Parent Directory
repodata/	03-Aug-2026 12:00
src/	03-Aug-2026 12:00
x86_64/	03-Aug-2026 12:00
home:jmnotin:TeXmacs.repo	03-Aug-2026 12:00	274 Byte

DB was synched from remote : 2026-08-11 21:54:47.580