{"name":"coqPackages.simple-io","version":"1.10.0","summary":"Purely functional IO for Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.simple-io"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/adhz3rlrny892w7dy3qllkxhj4pjg705-coq9.0-simple-io-1.10.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.simple-io"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/zq26bs23b502ipz5yjbfygvswyg6gnkd-coq9.0-simple-io-1.10.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.simple-io"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/7zjfgkgds7vnmy2fa785fy1l9a7y2fap-coq9.0-simple-io-1.10.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.simple-io"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/5k684cmrwkk8msrpghqk4r9xx5rhqz32-coq9.0-simple-io-1.10.0","default":true}]}}}