alt-ergo 2.6.3

High-performance theorem prover and SMT solver

Linux and macOS last changed 2026-09-29 outputs: bin, out

Pin this version

$ devbox add alt-ergo@2.6.3

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#alt-ergo

systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636

$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#alt-ergo

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`alt-ergo`	b6c8664de9b6	2026-09-29	`bin` /nix/store/7y225hp0id41avggff9rfmm1af2rrj5v-ocaml5.5.0-alt-ergo-2.6.3-bin `out` (not default) /nix/store/9qwvd07v32n98a53dlp8h426g1ig8fhb-ocaml5.5.0-alt-ergo-2.6.3
`aarch64-linux` Linux · arm64	`alt-ergo`	b6c8664de9b6	2026-09-29	`bin` /nix/store/acsp6za9193y9dpxxr137h93alskvg9b-ocaml5.5.0-alt-ergo-2.6.3-bin `out` (not default) /nix/store/hg73z21da65f90xd7vlfp8ffzjgjycz8-ocaml5.5.0-alt-ergo-2.6.3
`x86_64-darwin` macOS · x86-64	`alt-ergo`	f76e4c7b1840	2026-07-01	`bin` /nix/store/iziry1yjz2vh0zxzd4xirxk8535wykhg-ocaml5.4.1-alt-ergo-2.6.3-bin `out` (not default) /nix/store/80sb938p8ar8rwgj447r4xy4gl67kwzc-ocaml5.4.1-alt-ergo-2.6.3
`x86_64-linux` Linux · x86-64	`alt-ergo`	b6c8664de9b6	2026-09-29	`bin` /nix/store/7rjqcsv0xr71dzp4hnf2ggjp47a4gazm-ocaml5.5.0-alt-ergo-2.6.3-bin `out` (not default) /nix/store/697i8vkhbnxsva7yzadc8rvcnwna2i6c-ocaml5.5.0-alt-ergo-2.6.3