Name	Last Modified	Size
Parent Directory
aarch64/	17-Oct-2025 16:23
repodata/	17-Oct-2025 16:23
src/	17-Oct-2025 16:19
x86_64/	17-Oct-2025 16:19
home:jmnotin:TeXmacs.repo	17-Oct-2025 16:23	277 Byte

DB was synched from remote : 2025-10-18 11:04:35.01