{"name":"alt-ergo","version":"2.5.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"111ed8812c10d7dc3017de46cbf509600c93f551"},"attr_path":"alt-ergo"},"last_updated":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/apl7nspk92w3c8h9aw2488w9qpyg69vj-ocaml5.1.1-alt-ergo-2.5.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"111ed8812c10d7dc3017de46cbf509600c93f551"},"attr_path":"alt-ergo"},"last_updated":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/kskgxa5mkfkl7ihpzyl1lwspss5cyj9j-ocaml5.1.1-alt-ergo-2.5.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"111ed8812c10d7dc3017de46cbf509600c93f551"},"attr_path":"alt-ergo"},"last_updated":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/xpmwnj13938q5qnvsplklr3vdpwaicw7-ocaml5.1.1-alt-ergo-2.5.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"111ed8812c10d7dc3017de46cbf509600c93f551"},"attr_path":"alt-ergo"},"last_updated":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/3kh38rpsbp8kj50sfcb2f42imlaabkdz-ocaml5.1.1-alt-ergo-2.5.4","default":true}]}}}