autosubst2
autosubst2 0-unstable-2022-07-04 · pkgs/by-name/au/autosubst2/package.nix
Health
Risk
risk 1 low
- +1 no versionCheckHook
Version
0-unstable-2022-07-04 no newer release known to repology
Channels
master 0-unstable-2022-07-04 · nixos-unstable 0-unstable-2022-07-04 · nixos-26.05 0-unstable-2022-07-04 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Tool for generating de Bruijn boilerplate Coq code to handle substitutions in languages with binders
License
Platforms
79 platforms: Linux, Darwin
Main program
as2-exeSource provenance
not set: built from source
Outputs
out docStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.