From 23b17ee9f9a886371be0fbb33cd588120fd85925 Mon Sep 17 00:00:00 2001 From: Enrique Artal Date: Wed, 17 Jul 2024 08:36:41 +0200 Subject: [PATCH] delete cryptominisat --- build/pkgs/cryptominisat/distros/fedora.txt | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 build/pkgs/cryptominisat/distros/fedora.txt 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