Folder status: /repositories/home:/Andreas_Schwab:/riscv:/ghc:/ncg
Id: 4775149
Path: /repositories/home:/Andreas_Schwab:/riscv:/ghc:/ncg
Database status:
Last sync: 2025-09-23T00:51:58
Sync Scheduled: 2025-09-23T00:51:56
Sync Requested: 2025-09-23T00:51:55