1 files changed, 0 insertions, 21 deletions
diff --git a/dev-ml/mirage-random/mirage-random-3.0.0.ebuild b/dev-ml/mirage-random/mirage-random-3.0.0.ebuild
deleted file mode 100644
index dec9d49d0..000000000
--- a/dev-ml/mirage-random/mirage-random-3.0.0.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-MY_P="${PN}-v${PV}"
-
-DESCRIPTION="Random-related devices for MirageOS"
-HOMEPAGE="https://github.com/mirage/mirage-random"
-SRC_URI="https://github.com/mirage/${PN}/releases/download/v${PV}/${MY_P}.tbz"
-S="${WORKDIR}/${MY_P}"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="ocamlopt"
-
-DEPEND="dev-ml/cstruct"
-RDEPEND="${DEPEND}"