{"name":"alt-ergo","version":"2.6.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1"},"attr_path":"alt-ergo"},"last_updated":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/0gyj3kiyjfdzz2rivy3qyx7bwsvn2bfd-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/vq7kgb6h544cl8j1p6ifqqxy5qcns4lw-ocaml5.3.0-alt-ergo-2.6.1"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1"},"attr_path":"alt-ergo"},"last_updated":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/qr6wxv52rq1sghdrbs1srpzdflp8xsjq-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/fgvmaaqxj46pidn8i9c39l9wgfs47ylr-ocaml5.3.0-alt-ergo-2.6.1"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1"},"attr_path":"alt-ergo"},"last_updated":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/fl132j8539wywz15y5da9wwsp9y8b6jr-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/2gc2fncrd0mglda3c5kqi2xy7lm76dgz-ocaml5.3.0-alt-ergo-2.6.1"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1"},"attr_path":"alt-ergo"},"last_updated":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/6d64npa8fw6ib26v5zjw3gblbn5r8ccg-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/a675i5sgj9mkg73pdmx28isbvsd5pn5a-ocaml5.3.0-alt-ergo-2.6.1"}]}}}