Name	Last Modified	Size
Parent Directory
aarch64/	09-Apr-2026 17:07
repodata/	09-Apr-2026 17:20
src/	09-Apr-2026 17:20
x86_64/	09-Apr-2026 17:20
home:jmnotin:TeXmacs.repo	17-Apr-2026 14:29	277 Byte

DB was synched from remote : 2026-04-18 04:00:40.861