{"name":"workcraft","version":"3.3.2","summary":"Framework for interpreted graph modeling, verification and synthesis","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"14b0f20fa1f56438b74100513c9b1f7c072cf789"},"attr_path":"workcraft"},"last_updated":"2021-08-19T13:27:31Z"}}}