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.

egglog

egglog 0.4.0 · pkgs/by-name/eg/egglog/package.nix
Sign in to watch

Health

Risk
risk 13 low
  • +12 0.4.0 is behind upstream 3.0.0, a major release
  • +1 no versionCheckHook
Version
0.4.0 3.0.0 available
Channels
master 0.4.0 · nixos-unstable 0.4.0 · nixos-26.05 0.4.0 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Fixpoint reasoning system that unifies Datalog and equality saturation
Homepage
https://github.com/egraphs-good/egglog
License
MIT
Platforms
38 platforms: Linux, Darwin · not on pattern
Main program
egglog
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/eg/egglog/package.nix:23
Maintainers
XBagon

Version bumps 0

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

Pull requests 0

None open.

Issues 0

None open.