Folder status: /repositories/home:/lorenz:/idris
Id: 367466
Path: /repositories/home:/lorenz:/idris
Database status:
Last sync: 2024-05-26T15:37:21
Sync Scheduled: 2024-05-26T15:37:19
Sync Requested: 2024-05-26T15:37:19