architecture: amd64 component: main package: libdune-functions-dev priority: optional section: libdevel srcpkg_name: dune-functions srcpkg_version: 2.9.0-2 version: 2.9.0-2