Name	Last Modified	Size
Parent Directory
aarch64/	01-Jul-2025 12:18
repodata/	01-Jul-2025 12:25
src/	01-Jul-2025 12:25
x86_64/	01-Jul-2025 12:25
home:jmnotin:TeXmacs.repo	01-Jul-2025 12:25	277 Byte

DB was synched from remote : 2025-08-04 13:19:45.886