From 1990e5762d4ea432c96d6ff6e8288e7061257a5c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 27 Jan 2022 11:37:32 +0100 Subject: [PATCH] remove libffi, which was merged upstream --- packages/conf-libffi.2.1.0~dev/opam | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 packages/conf-libffi.2.1.0~dev/opam diff --git a/packages/conf-libffi.2.1.0~dev/opam b/packages/conf-libffi.2.1.0~dev/opam deleted file mode 100644 index 7120601..0000000 --- a/packages/conf-libffi.2.1.0~dev/opam +++ /dev/null @@ -1,23 +0,0 @@ -opam-version: "2.0" -maintainer: "blue-prawn" -authors: ["Anthony Green"] -homepage: "http://sourceware.org/libffi/" -license: "MIT" -build: ["pkg-config" "libffi"] -depexts: [ - ["libffi"] {os = "macos" & os-distribution = "homebrew"} - ["libffi"] {os = "macos" & os-distribution = "macports"} - ["libffi-dev"] {os-distribution = "alpine"} - ["libffi-dev"] {os-family = "debian"} - ["libffi-devel"] {os-distribution = "centos"} - ["libffi-devel"] {os-distribution = "fedora"} - ["libffi-devel"] {os-distribution = "mageia"} - ["libffi-devel"] {os-distribution = "ol"} - ["libffi-devel"] {os-family = "suse"} - ["libffi"] {os = "freebsd"} -] -synopsis: "Virtual package relying on libffi system installation" -description: "This package can only install if libffi is installed on the system." -depends: ["conf-pkg-config" {build}] -bug-reports: "https://github.com/ocaml/opam-repository/issues" -flags: conf