pkgs/development/idris-modules/

pkgs/development/ · 1 packages and modules · 2 open pull requests

ci/OWNERS

Packages and modules 1

idrisrisk 9 no maintainer 0 0

Pull requests 2

#538876 by brainrake · opened 3mo ago

#123015 by dotlambda · opened 5y ago

Closed or merged in the synced window 1

#574222 by ShadowRZ · merged 1d ago

Issues 0

None open.