{"name":"ddsmt","version":"2.0.3","summary":"Delta debugger for SMT benchmarks in SMT-LIB v2","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"ddsmt"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/7rqc7hx60mfq71zj7wb8hm6rnwhlvx1h-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/plf49xfi9qdg6h3l9qrn64sd0p1l5ipg-ddsmt-2.0.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"ddsmt"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/pjgja0c2cd7kd0x362hjikkavd2mk7x9-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/1wy5xf7ggsrl9650a91p3sh0c3hr5max-ddsmt-2.0.3-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"ddsmt"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/v703nc5n2m2vbgsacyirfy9w2mf6lqnn-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/srp2bdmgig6qix5f9lf2vh9bci0bbwj5-ddsmt-2.0.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"ddsmt"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/bfrly1gchz26z97jrsw328svzdmkmsaz-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/fkgky99d96yvyzcmk3sp73qv8398nlq3-ddsmt-2.0.3-dist"}]}}}