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

DB was synched from remote : 2025-12-18 01:51:58.993