{"name":"workcraft","version":"3.3.1","summary":"Framework for interpreted graph modeling, verification and synthesis","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4f165c6d7d4dcd216c95dc02a875d2ab09f65821"},"attr_path":"workcraft"},"last_updated":"2020-11-24T13:30:24Z"}}}