Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

kind2

kind2 0.3.10 · pkgs/by-name/ki/kind2/package.nix
Sign in to watch

Health

Risk
risk 7 low
  • +6 no maintainer
  • +1 no versionCheckHook
Version
0.3.10 no newer release in crates.io
Channels
master 0.3.10 · nixos-unstable 0.3.10 · nixos-26.05 0.3.10 no channel is behind master
Hydra
succeeded 3mo ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Functional programming language and proof assistant
Homepage
https://github.com/higherorderco/kind
License
MIT
Platforms
38 platforms: Linux, Darwin · not on pattern
Main program
kind2
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ki/kind2/package.nix:29
Maintainers
none

Version bumps 0

all open bumps
None open.

Pull requests 0

None open.

Issues 0

None open.