{"name":"rPackages.quint","version":"2.2.2","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"rPackages.quint"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/jm6rlbj6zlri2289dfq794qam3w14qjr-r-quint-2.2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"rPackages.quint"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/235q5790rib85ybzkhi2i63xpzjskmh4-r-quint-2.2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"rPackages.quint"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/r1m5rgvj85ib1qrwb4icmv0r2l4gw6aq-r-quint-2.2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"rPackages.quint"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/yjvpailn48v8i92fqrikj29nb0d2bv82-r-quint-2.2.2","default":true}]}}}