Name	Last Modified	Size
Parent Directory
aarch64/	18-Dec-2025 14:24
repodata/	18-Dec-2025 14:24
src/	18-Dec-2025 14:24
x86_64/	18-Dec-2025 14:17
home:jmnotin:TeXmacs.repo	18-Dec-2025 14:24	277 Byte

DB was synched from remote : 2025-12-18 19:30:28.144