---
Function {
    argument: None,
    arguments: FunctionArguments {
        arguments: [
            FunctionArgument {
                identifier: "autoreconfHook",
                default: None,
            },
            FunctionArgument {
                identifier: "perl",
                default: None,
            },
            FunctionArgument {
                identifier: "libGL",
                default: None,
            },
            FunctionArgument {
                identifier: "libGLU",
                default: None,
            },
            FunctionArgument {
                identifier: "lua",
                default: None,
            },
            FunctionArgument {
                identifier: "libXmu",
                default: None,
            },
            FunctionArgument {
                identifier: "libtheora",
                default: None,
            },
            FunctionArgument {
                identifier: "libjpeg_turbo",
                default: None,
            },
            FunctionArgument {
                identifier: "gtkglext",
                default: None,
            },
            FunctionArgument {
                identifier: "gtk2",
                default: None,
            },
            FunctionArgument {
                identifier: "freeglut",
                default: None,
            },
            FunctionArgument {
                identifier: "pkg-config",
                default: None,
            },
            FunctionArgument {
                identifier: "fetchFromGitHub",
                default: None,
            },
            FunctionArgument {
                identifier: "stdenv",
                default: None,
            },
            FunctionArgument {
                identifier: "lib",
                default: None,
            },
        ],
        ellipsis: false,
    },
    definition: FunctionApplication {
        function: PropertyAccess {
            expression: Variable {
                identifier: "stdenv",
                position: (5, 1),
            },
            attribute_path: AttributePath {
                attributes: [
                    Raw {
                        content: "mkDerivation",
                        position: (5, 8),
                    },
                ],
            },
            default: None,
        },
        arguments: [
            Map {
                bindings: [
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "pname",
                                    position: (6, 3),
                                },
                            ],
                        },
                        String {
                            parts: [
                                Raw {
                                    content: "celestia",
                                    position: (6, 12),
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "version",
                                    position: (7, 3),
                                },
                            ],
                        },
                        String {
                            parts: [
                                Raw {
                                    content: "1.6.2.2",
                                    position: (7, 14),
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "src",
                                    position: (9, 3),
                                },
                            ],
                        },
                        FunctionApplication {
                            function: Variable {
                                identifier: "fetchFromGitHub",
                                position: (9, 9),
                            },
                            arguments: [
                                Map {
                                    bindings: [
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "owner",
                                                        position: (10, 5),
                                                    },
                                                ],
                                            },
                                            String {
                                                parts: [
                                                    Raw {
                                                        content: "CelestiaProject",
                                                        position: (10, 14),
                                                    },
                                                ],
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "repo",
                                                        position: (11, 5),
                                                    },
                                                ],
                                            },
                                            String {
                                                parts: [
                                                    Raw {
                                                        content: "Celestia",
                                                        position: (11, 13),
                                                    },
                                                ],
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "rev",
                                                        position: (12, 5),
                                                    },
                                                ],
                                            },
                                            Variable {
                                                identifier: "version",
                                                position: (12, 11),
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "sha256",
                                                        position: (13, 5),
                                                    },
                                                ],
                                            },
                                            String {
                                                parts: [
                                                    Raw {
                                                        content: "1s9fgxh6i3x1sy75y5wcidi2mjrf5xj71dd4n6rg0hkps441sgsp",
                                                        position: (13, 15),
                                                    },
                                                ],
                                            },
                                        ),
                                    ],
                                    recursive: false,
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "nativeBuildInputs",
                                    position: (16, 3),
                                },
                            ],
                        },
                        List {
                            elements: [
                                Variable {
                                    identifier: "pkg-config",
                                    position: (16, 25),
                                },
                                Variable {
                                    identifier: "autoreconfHook",
                                    position: (16, 36),
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "buildInputs",
                                    position: (17, 3),
                                },
                            ],
                        },
                        List {
                            elements: [
                                Variable {
                                    identifier: "freeglut",
                                    position: (18, 5),
                                },
                                Variable {
                                    identifier: "gtk2",
                                    position: (18, 14),
                                },
                                Variable {
                                    identifier: "gtkglext",
                                    position: (18, 19),
                                },
                                Variable {
                                    identifier: "lua",
                                    position: (18, 28),
                                },
                                Variable {
                                    identifier: "perl",
                                    position: (18, 32),
                                },
                                Variable {
                                    identifier: "libjpeg_turbo",
                                    position: (19, 5),
                                },
                                Variable {
                                    identifier: "libtheora",
                                    position: (19, 19),
                                },
                                Variable {
                                    identifier: "libXmu",
                                    position: (19, 29),
                                },
                                Variable {
                                    identifier: "libGLU",
                                    position: (19, 36),
                                },
                                Variable {
                                    identifier: "libGL",
                                    position: (19, 43),
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "configureFlags",
                                    position: (22, 3),
                                },
                            ],
                        },
                        List {
                            elements: [
                                String {
                                    parts: [
                                        Raw {
                                            content: "--with-gtk",
                                            position: (23, 6),
                                        },
                                    ],
                                },
                                String {
                                    parts: [
                                        Raw {
                                            content: "--with-lua=",
                                            position: (24, 6),
                                        },
                                        Expression {
                                            expression: Variable {
                                                identifier: "lua",
                                                position: (24, 19),
                                            },
                                        },
                                    ],
                                },
                            ],
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "enableParallelBuilding",
                                    position: (27, 3),
                                },
                            ],
                        },
                        Variable {
                            identifier: "true",
                            position: (27, 28),
                        },
                    ),
                    KeyValue(
                        AttributePath {
                            attributes: [
                                Raw {
                                    content: "meta",
                                    position: (29, 3),
                                },
                            ],
                        },
                        With {
                            expression: Variable {
                                identifier: "lib",
                                position: (29, 15),
                            },
                            target: Map {
                                bindings: [
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "homepage",
                                                    position: (30, 5),
                                                },
                                            ],
                                        },
                                        String {
                                            parts: [
                                                Raw {
                                                    content: "https://celestia.space/",
                                                    position: (30, 17),
                                                },
                                            ],
                                        },
                                    ),
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "description",
                                                    position: (31, 5),
                                                },
                                            ],
                                        },
                                        String {
                                            parts: [
                                                Raw {
                                                    content: "Real-time 3D simulation of space",
                                                    position: (31, 20),
                                                },
                                            ],
                                        },
                                    ),
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "changelog",
                                                    position: (32, 5),
                                                },
                                            ],
                                        },
                                        String {
                                            parts: [
                                                Raw {
                                                    content: "https://github.com/CelestiaProject/Celestia/releases/tag/",
                                                    position: (32, 18),
                                                },
                                                Expression {
                                                    expression: Variable {
                                                        identifier: "version",
                                                        position: (32, 77),
                                                    },
                                                },
                                            ],
                                        },
                                    ),
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "license",
                                                    position: (33, 5),
                                                },
                                            ],
                                        },
                                        PropertyAccess {
                                            expression: Variable {
                                                identifier: "licenses",
                                                position: (33, 15),
                                            },
                                            attribute_path: AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "gpl2Plus",
                                                        position: (33, 24),
                                                    },
                                                ],
                                            },
                                            default: None,
                                        },
                                    ),
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "maintainers",
                                                    position: (34, 5),
                                                },
                                            ],
                                        },
                                        With {
                                            expression: Variable {
                                                identifier: "maintainers",
                                                position: (34, 24),
                                            },
                                            target: List {
                                                elements: [
                                                    Variable {
                                                        identifier: "hjones2199",
                                                        position: (34, 39),
                                                    },
                                                ],
                                            },
                                        },
                                    ),
                                    KeyValue(
                                        AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "platforms",
                                                    position: (35, 5),
                                                },
                                            ],
                                        },
                                        PropertyAccess {
                                            expression: Variable {
                                                identifier: "platforms",
                                                position: (35, 17),
                                            },
                                            attribute_path: AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "linux",
                                                        position: (35, 27),
                                                    },
                                                ],
                                            },
                                            default: None,
                                        },
                                    ),
                                ],
                                recursive: false,
                            },
                        },
                    ),
                ],
                recursive: true,
            },
        ],
    },
}