{"name":"alt-ergo","version":"2.6.3","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"alt-ergo"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"bin","path":"/nix/store/7y225hp0id41avggff9rfmm1af2rrj5v-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/9qwvd07v32n98a53dlp8h426g1ig8fhb-ocaml5.5.0-alt-ergo-2.6.3"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"alt-ergo"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"bin","path":"/nix/store/acsp6za9193y9dpxxr137h93alskvg9b-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/hg73z21da65f90xd7vlfp8ffzjgjycz8-ocaml5.5.0-alt-ergo-2.6.3"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f76e4c7b1840704deda511ab34f37b829f6b5636"},"attr_path":"alt-ergo"},"last_updated":"2026-07-01T06:48:47Z","outputs":[{"name":"bin","path":"/nix/store/iziry1yjz2vh0zxzd4xirxk8535wykhg-ocaml5.4.1-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/80sb938p8ar8rwgj447r4xy4gl67kwzc-ocaml5.4.1-alt-ergo-2.6.3"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"alt-ergo"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"bin","path":"/nix/store/7rjqcsv0xr71dzp4hnf2ggjp47a4gazm-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/697i8vkhbnxsva7yzadc8rvcnwna2i6c-ocaml5.5.0-alt-ergo-2.6.3"}]}}}