Maintainer Mode
Sign in with GitHub

approxmc

approxmc 4.1.24 · pkgs/by-name/ap/approxmc/package.nix
Sign in to subscribe
Health
Risk
risk 9 low
  • +8 4.1.24 is behind upstream 4.2.0
  • +1 no versionCheckHook
Version
4.1.24 upstream 4.2.0
Channels
master 4.1.24 · nixos-unstable 4.1.24 · nixos-26.05 4.1.24 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Approximate Model Counter
Homepage
https://github.com/meelgroup/approxmc
License
MIT
Platforms
24 platforms: Linux
Main program
approxmc
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ap/approxmc/package.nix:37
Maintainers
t4ccer
Version bumps 0all open bumps
None open. Upstream has 4.2.0: how to update a package.
Pull requests 0
None open.
Issues 0
None open.