Folder status: /repositories/home:/lorenz:/idris
Id: 171715
Path: /repositories/home:/lorenz:/idris
Database status:
Last sync: 2022-11-24T08:51:59
Sync Scheduled: 2022-11-24T08:51:57
Sync Requested: 2022-11-24T08:51:57