diff --git a/build/pkgs/cryptominisat/distros/fedora.txt b/build/pkgs/cryptominisat/distros/fedora.txt
deleted file mode 100644
index aaa2318be82..00000000000
--- a/build/pkgs/cryptominisat/distros/fedora.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-cryptominisat
-cryptominisat-devel
-cryptominisat-libs