diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
deleted file mode 100644
index 66df14e..0000000
--- a/dev-lang/dafny/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST dafny-3.3.0.tar.gz 3719703 BLAKE2B a5eba706dd592f2bcff83b73fd650c429d71200bb65d9d5db74642640e2d7deb1ed0cb282cd36fa11f0a30357ce6296c867dd712183b64782c222041e0a72378 SHA512 ca8b37fac3620e5732677cf09ca8699823b84485b37dabd60fd0307b03b761c0ef90d7526a6599b1360337e6405c33fc2ecbe599a8a9a38476885a3fdae55977
diff --git a/dev-lang/dafny/dafny-3.3.0-r1.ebuild b/dev-lang/dafny/dafny-3.3.0-r1.ebuild
deleted file mode 100644
index 950fe30..0000000
--- a/dev-lang/dafny/dafny-3.3.0-r1.ebuild
+++ /dev/null
@@ -1,93 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_V=5.0
-DOTNET=net${DOTNET_V}
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny-lang.github.io/dafny/"
-
-if [[ "${PV}" == *9999* ]]; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git"
-else
-	SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64"
-fi
-
-# TODO: src_test
-RESTRICT="network-sandbox test"
-LICENSE="MIT"
-SLOT="0"
-IUSE="debug doc"
-
-DEPEND="
-	>=virtual/jdk-1.8.0:*
-	virtual/dotnet-sdk:${DOTNET_V}
-"
-RDEPEND="
-	${DEPEND}
-	~sci-mathematics/z3-4.8.5
-"
-BDEPEND="
-	|| ( dev-java/gradle-bin dev-java/gradle )
-	doc? (
-		dev-texlive/texlive-xetex
-		|| ( app-text/pandoc app-text/pandoc-bin )
-	)
-"
-
-DAFNY_EXES="
-	usr/share/dafny/Dafny
-	usr/share/dafny/DafnyLanguageServer
-	usr/share/dafny/DafnyServer
-"
-
-QA_PREBUILT="${DAFNY_EXES}"
-
-src_prepare() {
-	unset _JAVA_OPTIONS
-	export GRADLE_USER_HOME="${HOME}/.gradle"
-
-	if use debug ; then
-		DOTNET_CONFIGURATION=Debug
-	else
-		DOTNET_CONFIGURATION=Release
-	fi
-	export DOTNET_CONFIGURATION
-	einfo "DOTNET_CONFIGURATION: ${DOTNET_CONFIGURATION}"
-
-	default
-}
-
-src_configure() {
-	ebegin "Restoring"
-	dotnet restore --no-cache ./Source/Dafny.sln
-	eend $? || die "dotnet restore filed"
-}
-
-src_compile() {
-	ebegin "Building"
-	dotnet build --configuration "${DOTNET_CONFIGURATION}" ./Source/Dafny.sln
-	eend $? || die "dotnet build failed"
-
-	use doc && emake -j1 refman-release
-}
-
-src_install() {
-	insinto /usr/share/${PN}
-	doins -r ./Binaries/${DOTNET}/*
-
-	local exe
-	for exe in ${DAFNY_EXES} ; do
-		fperms +x "/${exe}"
-		dosym "../../${exe}" "/usr/bin/$(basename "${exe,,}")"
-		dosym "../../${exe}" "/usr/bin/$(basename "${exe}")"
-	done
-
-	dodoc *.md *.txt
-
-	use doc && dodoc docs/DafnyRef/DafnyRef.pdf
-}
diff --git a/dev-lang/dafny/metadata.xml b/dev-lang/dafny/metadata.xml
deleted file mode 100644
index cd2c003..0000000
--- a/dev-lang/dafny/metadata.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-
-<pkgmetadata>
-  <maintainer type="person">
-    <email>xgqt@riseup.net</email>
-    <name>Maciej Barć</name>
-  </maintainer>
-  <longdescription lang="en">
-    Dafny is a programming language with a program verifier.
-    As you type in your program, the verifier constantly
-    looks over your shoulders and flags any errors.
-  </longdescription>
-  <upstream>
-    <bugs-to>https://github.com/dafny-lang/dafny</bugs-to>
-    <remote-id type="github">dafny-lang/dafny</remote-id>
-  </upstream>
-</pkgmetadata>
diff --git a/profiles/package.mask b/profiles/package.mask
index 2b56412..d3e53f4 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -13,7 +13,6 @@ app-emulation/anbox
 app-emacs/ement
 app-emacs/ement-extras
 app-portage/gen-pkgs
-dev-lang/dafny
 dev-lang/fstar
 games-fps/quake15
 games-rpg/fallout1