{"name":"alt-ergo","version":"2.6.0","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"alt-ergo"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/mphkddag53da9wmd042fpw6q582lypz8-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/8pdzp5n922rzlds9pnqnxxj1i3l7gwn0-ocaml5.2.1-alt-ergo-2.6.0"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"alt-ergo"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/myb8abyll3kwar2q6fs8ngd1srg6qxlz-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/wxbi520j2rhq9gv841a59hpn2d416s4z-ocaml5.2.1-alt-ergo-2.6.0"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"alt-ergo"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/y93gpvlk2017f20qgdx7d4bkn68d7sz4-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/x8qzh09k4mc6lkkan4v0mg3jk0qrn3dm-ocaml5.2.1-alt-ergo-2.6.0"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"alt-ergo"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/9cqh0c332h2yazhcqmk88j3n1kajdxij-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/zypghbs24bxcdjhgyswb6whnfnxqjm4k-ocaml5.2.1-alt-ergo-2.6.0"}]}}}