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