{"name":"workcraft","version":"3.3.0","summary":"Framework for interpreted graph modeling, verification and synthesis","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"272744825d28f9cea96fe77fe685c8ba2af8eb12"},"attr_path":"workcraft"},"last_updated":"2020-11-22T19:04:20Z"}}}