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.

arjun-cnf

arjun-cnf 2.5.2 · pkgs/by-name/ar/arjun-cnf/package.nix
Sign in to watch

Health

Risk
risk 9 low
  • +8 2.5.2 is behind upstream 2.6.1
  • +1 no versionCheckHook
Version
2.5.2 2.6.1 available
Channels
master 2.5.2 · nixos-unstable 2.5.2 · nixos-26.05 2.5.2 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
CNF minimizer and minimal independent set calculator
Homepage
https://github.com/meelgroup/arjun
License
MIT
Platforms
24 platforms: Linux
Main program
arjun
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ar/arjun-cnf/package.nix:47
Maintainers
t4ccer

Version bumps 0

all open bumps
None open. Upstream has 2.6.1: how to update a package.

Pull requests 0

None open.

Issues 0

None open.