Folder status: /repositories/home:/lorenz:/idris
Id: 99150
Path: /repositories/home:/lorenz:/idris
Database status:
Last sync: 2024-11-25T12:56:09
Sync Scheduled: 2024-11-25T12:55:55
Sync Requested: 2024-11-25T12:55:37