idris2

idris2-wrapped 0.8.0 · pkgs/by-name/id/idris2/wrapped.nix

Sign in to subscribe

Health

Risk

risk 0 ok

Version

0.8.0 no newer release known to repology

Channels

master 0.8.0 · nixos-unstable 0.8.0 · nixos-26.05 0.8.0 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

not read yet: the next index sweep reads it

Maintainers

fabianhjr, wchresta, mattpolzin

Pull requests 0

None open.

Issues 0

None open.