{"name":"alt-ergo","version":"2.6.2","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"alt-ergo"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/9z6ildh8x46jlx7q5rb78wwb7qhbb67y-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/vig25f1pxxlncv3rc8x5mfj46f3b4qp4-ocaml5.4.1-alt-ergo-2.6.2"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"alt-ergo"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/bk4sr1nrwci91p7j4f11i9q559yky44q-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/7xbnbpkbggaqv1xi29pbgmj32iicjslj-ocaml5.4.1-alt-ergo-2.6.2"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"alt-ergo"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/3pqad0309cfy66jq60vn0pv11xgwzzhc-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/86939ndkli8q0vc6i3n1dlz8w9nypfdk-ocaml5.4.1-alt-ergo-2.6.2"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"alt-ergo"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/5hpggmbhqzn7gm63byh7zsgh82pn07vy-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/np8kj2mpjqi8vgwpd120422ybci2sr6z-ocaml5.4.1-alt-ergo-2.6.2"}]}}}