{"name":"alt-ergo","version":"2.5.2","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c726225724e681b3626acc941c6f95d2b0602087"},"attr_path":"alt-ergo"},"last_updated":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/2izfxkzd5ckhr2924yfvhkl6qmd0xa69-ocaml5.1.1-alt-ergo-2.5.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c726225724e681b3626acc941c6f95d2b0602087"},"attr_path":"alt-ergo"},"last_updated":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/47jl3r2jp3zr9sfj33sdvgn2lkv9a48q-ocaml5.1.1-alt-ergo-2.5.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c726225724e681b3626acc941c6f95d2b0602087"},"attr_path":"alt-ergo"},"last_updated":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/0hhh93m9q3rqmrhiyswbrq1lhpr3hsx5-ocaml5.1.1-alt-ergo-2.5.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c726225724e681b3626acc941c6f95d2b0602087"},"attr_path":"alt-ergo"},"last_updated":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/1bapr3vfjcblzbpdka8mx1q5lf5m1yhm-ocaml5.1.1-alt-ergo-2.5.2","default":true}]}}}