{"name":"spin","version":"6.4.9","summary":"Formal verification tool for distributed software systems","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"spin"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/imbbksa84x2fj5fc8wd4iz69rqpygza2-spin-6.4.9","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"spin"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/9bhixb2pvwnsp0f72fg08k6qk3mfvqhs-spin-6.4.9","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"spin"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/38cnzd3iqikwql8p12j4y69z4vji9f8k-spin-6.4.9","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"spin"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/x37msfk9skgni3kgfizyf968n49vn5f3-spin-6.4.9","default":true}]}}}