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

DB was synched from remote : 2025-10-19 13:20:27.538