1 files changed, 0 insertions, 32 deletions
diff --git a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
deleted file mode 100644
index c773ea12d5f2..000000000000
--- a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Simplified Satisfiability Solver"
-HOMEPAGE="http://fmv.jku.at/cadical/"
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-rel-${PV}"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-
-PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch )
-
-DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
-
-src_configure() {
-	tc-export AR
-	CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
-}
-
-src_install() {
-	dobin build/{cadical,mobical}
-	dolib.a build/libcadical.a
-	doheader src/cadical.hpp
-
-	einstalldocs
-}