{"name":"python311Packages.alectryon","version":"1.4.0","summary":"Collection of tools for writing technical documents that mix Coq code and prose","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.alectryon"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/k6fp4n0s91xqkwlsjhf5ila5p1xm73a4-python3.11-alectryon-1.4.0","default":true},{"name":"dist","path":"/nix/store/pj5cficw6ydj2z8dv9hvsksha7sgw3i1-python3.11-alectryon-1.4.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.alectryon"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/9j4mv2r77mw87dqncg1r87h5h1b0dxnp-python3.11-alectryon-1.4.0","default":true},{"name":"dist","path":"/nix/store/1bgpv1rxwbhngymzfcs9s9kcxk0v5m6s-python3.11-alectryon-1.4.0-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.alectryon"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/psxkjrxh54rl1fdafcfd7yy8aqjx6br0-python3.11-alectryon-1.4.0","default":true},{"name":"dist","path":"/nix/store/6r685ri3s2lj8nxn3cmlrwghrlxwzkbk-python3.11-alectryon-1.4.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.alectryon"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/s9222pi1dh947zlslmm5kx50w4953a4i-python3.11-alectryon-1.4.0","default":true},{"name":"dist","path":"/nix/store/k7ilv5g5s3hs03naxbh9szvy18ab0h0i-python3.11-alectryon-1.4.0-dist"}]}}}