---
Function {
    argument: None,
    arguments: FunctionArguments {
        arguments: [
            FunctionArgument {
                identifier: "expat",
                default: None,
            },
            FunctionArgument {
                identifier: "udunits",
                default: None,
            },
            FunctionArgument {
                identifier: "xorg",
                default: None,
            },
            FunctionArgument {
                identifier: "xlibsWrapper",
                default: None,
            },
            FunctionArgument {
                identifier: "netcdf",
                default: None,
            },
            FunctionArgument {
                identifier: "fetchurl",
                default: None,
            },
            FunctionArgument {
                identifier: "stdenv",
                default: None,
            },
            FunctionArgument {
                identifier: "lib",
                default: None,
            },
        ],
        ellipsis: false,
    },
    definition: LetIn {
        bindings: [
            KeyValue(
                AttributePath {
                    attributes: [
                        Raw {
                            content: "pname",
                            position: (6, 3),
                        },
                    ],
                },
                String {
                    parts: [
                        Raw {
                            content: "ncview",
                            position: (6, 12),
                        },
                    ],
                },
            ),
            KeyValue(
                AttributePath {
                    attributes: [
                        Raw {
                            content: "version",
                            position: (7, 3),
                        },
                    ],
                },
                String {
                    parts: [
                        Raw {
                            content: "2.1.8",
                            position: (7, 14),
                        },
                    ],
                },
            ),
        ],
        target: FunctionApplication {
            function: PropertyAccess {
                expression: Variable {
                    identifier: "stdenv",
                    position: (9, 4),
                },
                attribute_path: AttributePath {
                    attributes: [
                        Raw {
                            content: "mkDerivation",
                            position: (9, 11),
                        },
                    ],
                },
                default: None,
            },
            arguments: [
                Map {
                    bindings: [
                        KeyValue(
                            AttributePath {
                                attributes: [
                                    Raw {
                                        content: "name",
                                        position: (10, 3),
                                    },
                                ],
                            },
                            String {
                                parts: [
                                    Expression {
                                        expression: Variable {
                                            identifier: "pname",
                                            position: (10, 13),
                                        },
                                    },
                                    Raw {
                                        content: "-",
                                        position: (10, 19),
                                    },
                                    Expression {
                                        expression: Variable {
                                            identifier: "version",
                                            position: (10, 22),
                                        },
                                    },
                                ],
                            },
                        ),
                        KeyValue(
                            AttributePath {
                                attributes: [
                                    Raw {
                                        content: "src",
                                        position: (12, 3),
                                    },
                                ],
                            },
                            FunctionApplication {
                                function: Variable {
                                    identifier: "fetchurl",
                                    position: (12, 9),
                                },
                                arguments: [
                                    Map {
                                        bindings: [
                                            KeyValue(
                                                AttributePath {
                                                    attributes: [
                                                        Raw {
                                                            content: "url",
                                                            position: (13, 5),
                                                        },
                                                    ],
                                                },
                                                String {
                                                    parts: [
                                                        Raw {
                                                            content: "ftp://cirrus.ucsd.edu/pub/ncview/ncview-2.1.8.tar.gz",
                                                            position: (13, 15),
                                                        },
                                                    ],
                                                },
                                            ),
                                            KeyValue(
                                                AttributePath {
                                                    attributes: [
                                                        Raw {
                                                            content: "sha256",
                                                            position: (14, 5),
                                                        },
                                                    ],
                                                },
                                                String {
                                                    parts: [
                                                        Raw {
                                                            content: "1gliziyxil2fcz85hj6z0jq33avrxdcjs74d500lhxwvgd8drfp8",
                                                            position: (14, 15),
                                                        },
                                                    ],
                                                },
                                            ),
                                        ],
                                        recursive: false,
                                    },
                                ],
                            },
                        ),
                        KeyValue(
                            AttributePath {
                                attributes: [
                                    Raw {
                                        content: "buildInputs",
                                        position: (17, 3),
                                    },
                                ],
                            },
                            List {
                                elements: [
                                    Variable {
                                        identifier: "netcdf",
                                        position: (17, 19),
                                    },
                                    Variable {
                                        identifier: "xlibsWrapper",
                                        position: (17, 26),
                                    },
                                    PropertyAccess {
                                        expression: Variable {
                                            identifier: "xorg",
                                            position: (17, 39),
                                        },
                                        attribute_path: AttributePath {
                                            attributes: [
                                                Raw {
                                                    content: "libXaw",
                                                    position: (17, 44),
                                                },
                                            ],
                                        },
                                        default: None,
                                    },
                                    Variable {
                                        identifier: "udunits",
                                        position: (17, 51),
                                    },
                                    Variable {
                                        identifier: "expat",
                                        position: (17, 59),
                                    },
                                ],
                            },
                        ),
                        KeyValue(
                            AttributePath {
                                attributes: [
                                    Raw {
                                        content: "meta",
                                        position: (19, 3),
                                    },
                                ],
                            },
                            With {
                                expression: Variable {
                                    identifier: "lib",
                                    position: (19, 15),
                                },
                                target: Map {
                                    bindings: [
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "description",
                                                        position: (20, 5),
                                                    },
                                                ],
                                            },
                                            String {
                                                parts: [
                                                    Raw {
                                                        content: "Visual browser for netCDF format files",
                                                        position: (20, 20),
                                                    },
                                                ],
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "homepage",
                                                        position: (21, 5),
                                                    },
                                                ],
                                            },
                                            String {
                                                parts: [
                                                    Raw {
                                                        content: "http://meteora.ucsd.edu/~pierce/ncview_home_page.html",
                                                        position: (21, 20),
                                                    },
                                                ],
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "license",
                                                        position: (22, 5),
                                                    },
                                                ],
                                            },
                                            PropertyAccess {
                                                expression: Variable {
                                                    identifier: "licenses",
                                                    position: (22, 15),
                                                },
                                                attribute_path: AttributePath {
                                                    attributes: [
                                                        Raw {
                                                            content: "gpl3",
                                                            position: (22, 24),
                                                        },
                                                    ],
                                                },
                                                default: None,
                                            },
                                        ),
                                        KeyValue(
                                            AttributePath {
                                                attributes: [
                                                    Raw {
                                                        content: "maintainers",
                                                        position: (23, 5),
                                                    },
                                                ],
                                            },
                                            With {
                                                expression: Variable {
                                                    identifier: "maintainers",
                                                    position: (23, 24),
                                                },
                                                target: List {
                                                    elements: [
                                                        Variable {
                                                            identifier: "jmettes",
                                                            position: (23, 39),
                                                        },
                                                    ],
                                                },
                                            },
                                        ),
                                    ],
                                    recursive: false,
                                },
                            },
                        ),
                    ],
                    recursive: false,
                },
            ],
        },
    },
}