{"name":"alt-ergo","version":"2.4.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"alt-ergo"},"last_updated":"2022-05-03T02:40:48Z"},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cce0667703fce3a1162dd252cf0864fdf83466ab"},"attr_path":"alt-ergo"},"last_updated":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/18322lph8y6di414mla880gz13wy9nkv-ocaml4.13.1-alt-ergo-2.4.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"alt-ergo"},"last_updated":"2022-05-03T02:40:48Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"72bbea9db7d727ed044e60b5f5febc60a3c5c955"},"attr_path":"alt-ergo"},"last_updated":"2022-06-20T04:45:15Z"}}}