GitHub repository: stefan-hoeck/idris2-pack-admin
Primary language: Idris
Created: 2022-05-16T10:38:42Z
Description: Maintenance utilities for the Idris2 package manager *pack*