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

DB was synched from remote : 2025-12-17 07:42:53.871