{"name":"python311Packages.alectryon","summary":"Collection of tools for writing technical documents that mix Coq code and prose","description":"","homepage_url":"https://github.com/cpitclaudel/alectryon","license":"MIT","attribute_paths":["python311Packages.alectryon"],"releases":[{"version":"1.4.0","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.alectryon","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.alectryon","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.alectryon","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.alectryon","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}