From 7c777e45a2c4476884b69f9cdf3cbb028c74612b Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Wed, 18 May 2022 17:42:20 +0200
Subject: chore(3p/rapidcheck): Remove package

No longer used without //3p/nix

Change-Id: Iab5fc92f501151c2196c7ce082ea004857b0b0b0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5633
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: tazjin <tazjin@tvl.su>
---
 third_party/rapidcheck/default.nix | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 third_party/rapidcheck/default.nix

diff --git a/third_party/rapidcheck/default.nix b/third_party/rapidcheck/default.nix
deleted file mode 100644
index ec8c01694d..0000000000
--- a/third_party/rapidcheck/default.nix
+++ /dev/null
@@ -1,21 +0,0 @@
-{ pkgs, ... }:
-
-(pkgs.callPackage "${pkgs.path}/pkgs/development/libraries/rapidcheck" {
-  stdenv = pkgs.fullLlvm11Stdenv;
-}).overrideAttrs (attrs: rec {
-  # follows the versioning scheme of nixpkgs, since rapidcheck does not
-  # provide versioned releases
-  version = "unstable-2020-05-04";
-
-  src = pkgs.fetchFromGitHub {
-    owner = "emil-e";
-    repo = "rapidcheck";
-    rev = "7bc7d302191a4f3d0bf005692677126136e02f60";
-    sha256 = "0khawy2n007yk97ls2qqpna4ly09v6rb6hw72nm16kzk3zbyzh17";
-  };
-
-  cmakeFlags = [
-    "-DRC_ENABLE_GTEST=ON"
-    "-DRC_ENABLE_GMOCK=ON"
-  ];
-})
-- 
cgit 1.4.1