Maintainer Mode
Sign in with GitHub

goose-lang

goose-lang 0.9.2 · pkgs/by-name/go/goose-lang/package.nix
Sign in to subscribe
Health
Risk
risk 9 low
  • +8 0.9.2 is behind upstream 0.10.0
  • +1 no versionCheckHook
Version
0.9.2 upstream 0.10.0
Channels
master 0.9.2 · nixos-unstable 0.9.2 · nixos-26.05 0.9.2 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Goose converts a small subset of Go to Coq
Homepage
https://github.com/goose-lang/goose
Changelog
https://github.com/goose-lang/goose/releases/tag/v0.9.2
License
MIT
Platforms
30 platforms: Linux, Darwin
Main program
goose
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/go/goose-lang/package.nix:26
Maintainers
stepbrobd
Version bumps 0all open bumps
None open. Upstream has 0.10.0: how to update a package.
Pull requests 0
None open.
Issues 0
None open.