nixsearch
nixsearch / pkg / alt-ergo

alt-ergo

High-performance theorem prover and SMT solver
alt-ergo.ocamlpro.com alt-ergo 14 releases newest changed
alt-ergo@ latest, 3.11, ^3.11, >=3.10 <3.12
version2.6.3 attributealt-ergo rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add alt-ergo@2.6.3
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#alt-ergo  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#alt-ergo  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#alt-ergo  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#alt-ergo  # x86_64-linux

JSON: /v2/resolve?name=alt-ergo&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
2.6.3resolved ✓✓✓✓ alt-ergo varies bin, out
2.6.2 ✓✓✓✓ alt-ergo b63fe7f000 bin, out
2.6.1 ✓✓✓✓ alt-ergo eaeed9530c bin, out
2.6.0 ✓✓✓✓ alt-ergo ebe4301cbd bin, out
2.5.4 ✓✓✓✓ alt-ergo 111ed8812c
2.5.3 ✓✓✓✓ alt-ergo 3281bec717
2.5.2 ✓✓✓✓ alt-ergo c726225724
2.5.1 ✓✓✓✓ alt-ergo 12bdeb01ff
2.4.3 ✓✓✓✓ alt-ergo 517501bcf1
2.4.2 ✓–✓✓ alt-ergo 7d0ed7f2e5
2.4.1 ✓✓✓✓ alt-ergo varies
2.4.0 ✓–✓✓ alt-ergo varies
2.3.3 –––✓ alt-ergo 79cb2cb986
2.3.2 –––✓ alt-ergo b9ba82ef8a

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.