Name	Last Modified	Size
Parent Directory
aarch64/	01-Apr-2026 14:52
repodata/	01-Apr-2026 14:59
src/	01-Apr-2026 14:59
x86_64/	01-Apr-2026 14:59
home:jmnotin:TeXmacs.repo	01-Apr-2026 14:59	277 Byte

DB was synched from remote : 2026-04-01 16:17:11.734