this repo has no description
1opam-version: "2.0" 2maintainer: "ygrek" 3authors: ["MariaDB Foundation"] 4homepage: "https://mariadb.org/" 5bug-reports: "https://jira.mariadb.org/projects/MDEV/issues" 6dev-repo: "git+https://github.com/MariaDB/server.git" 7license: "GPL-2.0-only" 8build: [ 9 ["pkg-config" "mariadb"] {os != "macos"} 10 ["pkg-config" "libmariadb"] {os = "macos"} 11] 12depends: [ 13 "conf-pkg-config" {build} 14] 15depexts: [ 16 ["mariadb" "mariadb-connector-c"] {os-distribution = "nixos"} 17 ["libmariadbclient-dev"] {os-family = "debian"} 18 ["mariadb-connector-c"] {os = "win32" & os-distribution = "cygwinports"} 19 ["mariadb-devel"] {os-distribution = "centos"} 20 ["mariadb-connector-c"] {os = "macos" & os-distribution = "homebrew"} 21 ["mariadb-dev"] {os-distribution = "alpine"} 22] 23synopsis: 24 "Virtual package relying on a libmariadbclient system installation" 25description: 26 "This package can only install if the libmariadbclient is installed on the system." 27flags: conf