Maintainer Mode
Sign in with GitHub

idris

idris 1.3.4 · pkgs/development/idris-modules/with-packages.nix
Sign in to subscribe
Health
Risk
risk 9 low
  • +6 no maintainer
  • +3 no meta.description, no meta.homepage, no meta.license
Version
1.3.4 no newer release known to repology
Channels
master 1.3.4 · nixos-unstable 1.3.4 · nixos-26.05 1.3.4 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.description no meta.homepage no meta.license
Packagewhat each field means
Description
none
Homepage
none
License
none
Platforms
not set
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/development/idris-modules/with-packages.nix:16
Maintainers
none
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.