Folder status: /repositories/home:/lorenz:/idris
Id: 253777
Path: /repositories/home:/lorenz:/idris
Database status:
Last sync: 2022-08-08T15:18:58
Sync Scheduled: 2022-08-08T15:18:54
Sync Requested: 2022-08-08T15:18:53