{"name":"workcraft","summary":"Framework for interpreted graph modeling, verification and synthesis","description":"","homepage_url":"https://workcraft.org/","license":"MIT","attribute_paths":["workcraft"],"releases":[{"version":"3.5.5","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bylcx7641pw9as709fg3h44kdd8rfmsf-workcraft-3.5.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/z483qcg2clcdawdqb840ajvflcnc9pr7-workcraft-3.5.5","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.4","last_updated":"2026-06-27T07:37:20Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/sqqfbqccsc5x7k9ymhyns7cwm49ysskw-workcraft-3.5.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/pxl4zfrjnhvfp7c1lpg985hjyyc5rpz1-workcraft-3.5.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.3","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/mjj4x1idjcdz00mwz413cfc75rnvsama-workcraft-3.5.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/ki895gl5bzsh0dvlhj8dysaf4s3g9fs2-workcraft-3.5.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.2","last_updated":"2025-06-20T02:24:11Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/z0bsdi44w02qd6vjdfd1p18rnrxh5sqh-workcraft-3.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/yw0aban8y8sywqm2j9jjz1rpdfj7b19w-workcraft-3.5.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.1","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/i2vzrjfh31np85a05x6gyzyihqmclc93-workcraft-3.5.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/374r1x3lgxhzv1y8ji523n9bwyd8q7sr-workcraft-3.5.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.0","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/aq61sxca48ra3mvw9p1l2v8pmx0g3w83-workcraft-3.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/ngfqaz7gmassrmjl2i9ijp0a3snxkfls-workcraft-3.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.4.2","last_updated":"2024-06-12T20:55:33Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/fmclhhvjw29dpzsca224a51bbgkr0i4i-workcraft-3.4.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/81vbzqx7jcr4ikplmri310py88r2gsy6-workcraft-3.4.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.4.1","last_updated":"2024-01-27T14:55:31Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/55m3ppbg83i5g6kglyakyqqcxgygiixp-workcraft-3.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/di6wyr24s395q75bnd39rpbn25k3iva8-workcraft-3.4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.4.0","last_updated":"2023-08-30T00:25:28Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/4wk3v0gzbsndw4nwgdvccpfcfbihmilj-workcraft-3.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/0js5py3biqb5i4z2v61gxmm5n34l3npg-workcraft-3.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.9","last_updated":"2023-04-16T08:21:49Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"cb578ff7040066fd1b3f6f087bca796ddbf598b5","date":"2023-04-16T08:21:49Z","outputs":[{"name":"out","path":"/nix/store/kcdzh8rxxxs4cbhmqz65mzcb10rgm0k0-workcraft-3.3.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"cb578ff7040066fd1b3f6f087bca796ddbf598b5","date":"2023-04-16T08:21:49Z","outputs":[{"name":"out","path":"/nix/store/cm54ynarp08h790k6sx2qflcv84wqhfb-workcraft-3.3.9","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.8","last_updated":"2022-12-17T17:36:56Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"9ed4897b224861c69d41f675c359f9c9860acdca","date":"2022-12-17T17:36:56Z","outputs":[{"name":"out","path":"/nix/store/sw9ff4nizb3m7z8cq2wdkrmasp8gap4r-workcraft-3.3.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"9ed4897b224861c69d41f675c359f9c9860acdca","date":"2022-12-17T17:36:56Z","outputs":[{"name":"out","path":"/nix/store/2lmnbpykkqpw3qamdbnli5c3d6df6r24-workcraft-3.3.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.6","last_updated":"2022-07-29T05:31:18Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"1a1bd86756ca15f8bafdce4499d6a88089bec3b6","date":"2022-07-29T05:31:18Z","outputs":[{"name":"out","path":"/nix/store/4i4ia8g5vwlx6xyblfyyx98alyk82qzc-workcraft-3.3.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"1a1bd86756ca15f8bafdce4499d6a88089bec3b6","date":"2022-07-29T05:31:18Z","outputs":[{"name":"out","path":"/nix/store/v0hl594r0qgijw0d4rz1xdzzplvw2nlq-workcraft-3.3.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.5","last_updated":"2022-02-20T08:57:45Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"workcraft","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/mr4acpv33xqvlsdsylanwhcvsv0jpr11-workcraft-3.3.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"7feed2c0bec4161c83509d18089784cfcef49667","date":"2022-02-20T08:57:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.2","last_updated":"2021-08-19T13:27:31Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"14b0f20fa1f56438b74100513c9b1f7c072cf789","date":"2021-08-19T13:27:31Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.1","last_updated":"2020-11-24T13:30:24Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"4f165c6d7d4dcd216c95dc02a875d2ab09f65821","date":"2020-11-24T13:30:24Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3.0","last_updated":"2020-11-22T19:04:20Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"272744825d28f9cea96fe77fe685c8ba2af8eb12","date":"2020-11-22T19:04:20Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.2.6","last_updated":"2020-06-30T02:44:55Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"workcraft","commit_hash":"e912fb83d2155a393e7146da98cda0e455a80fb6","date":"2020-06-30T02:44:55Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}