Name	Last Modified	Size
Parent Directory
aarch64/	09-Jan-2026 17:55
repodata/	09-Jan-2026 17:55
src/	09-Jan-2026 17:55
x86_64/	09-Jan-2026 17:54
home:jmnotin:TeXmacs.repo	09-Jan-2026 17:55	277 Byte

DB was synched from remote : 2026-01-12 07:51:03.628