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.

groove

groove 5.8.1 · pkgs/by-name/gr/groove/package.nix
Sign in to watch

Health

Risk
risk 8 low
  • +6 no maintainer
  • +2 no meta.mainProgram, no versionCheckHook
Version
5.8.1 no newer release known to repology
Channels
master 5.8.1 · nixos-unstable 5.8.1 · nixos-26.05 5.8.1 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
GRaphs for Object-Oriented VErification
Homepage
https://groove.cs.utwente.nl/
License
Apache-2.0
Platforms
79 platforms: Linux, Darwin
Source provenance
binaryBytecode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/gr/groove/package.nix:73
Maintainers
none

Version bumps 0

all open bumps
None open.

Pull requests 1

treewide: use `desktopItems` (plural) instead of `desktopItem`
#511149 by PerchunPak · opened 6mo ago
Closed or merged in the last 60 days 1
various: use copyDesktopItems for desktop entry installation, use finalAttrs
#573090 by ShadowRZ · merged 3d ago

Issues 0

None open.