zipperposition
zipperposition 2.1-unstable-2024-02-08 · pkgs/by-name/zi/zipperposition/package.nix
Health
Risk
risk 1 low
- +1 no versionCheckHook
Version
2.1-unstable-2024-02-08 no newer release known to repology
Channels
master 2.1-unstable-2024-02-08 · nixos-unstable 2.1-unstable-2024-02-08 · nixos-26.05 2.1-unstable-2024-02-08 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Superposition prover for full first order logic
License
Platforms
79 platforms: Linux, Darwin
Main program
zipperpositionSource provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 2
[Backport release-26.05] ocamlPackages.buildDunePackage: allow multiple dune packages
#555012 by nixpkgs-ci · merged 8w ago
ocamlPackages.buildDunePackage: allow multiple dune packages
#553950 by sempiternal-aurora · merged 8w ago
Issues 0
None open.