lngen
lngen 0-unstable-2024-10-22 · pkgs/by-name/ln/lngen/package.nix
Health
Risk
risk 13 low
- +12 0-unstable-2024-10-22 is behind upstream 8.10, a major release
- +1 no versionCheckHook
Version
0-unstable-2024-10-22 upstream 8.10
Channels
master 0-unstable-2024-10-22 · nixos-unstable 0-unstable-2024-10-22 · nixos-26.05 0-unstable-2024-10-22 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Homepage
License
Platforms
79 platforms: Linux, Darwin
Main program
lngenSource provenance
not set: built from source
Outputs
out docStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open. Upstream has 8.10: how to update a package.
Pull requests 0
None open.
Issues 0
None open.