From 44efdc02f971164b53db6df6ce2c3bd4ab1b949d Mon Sep 17 00:00:00 2001
From: Lorenz Leutgeb <lorenz@leutgeb.xyz>
Date: Fri, 17 Oct 2025 12:47:45 +0200
Subject: [PATCH] flake: Fix source filtering

The more complicated filter for `*.txt` did not work. Filtering by
extension directly is not as precise, but there are not many `*.txt`
files in this repository anyway, so the difference should be
neglegible.
---
 flake.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/flake.nix b/flake.nix
index becd8b9a..7c65bea9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -69,14 +69,12 @@
           ".md" # testing
           ".adoc" # man pages
           ".json" # testing samples
+          ".txt" # might be included with `include_str!`
           "rad-cob-multiset" # testing external COBs
         ]
         ||
         # Default filter from crane (allow .rs files)
-        (rustup.craneLib.filterCargoSources path type)
-        ||
-        # *.txt files might be included with `include_str!`
-        (builtins.isList (builtins.match ''/?crates/(.*/.*\.txt)'' path));
+        (rustup.craneLib.filterCargoSources path type);
 
       src = lib.cleanSourceWith {
         src = ./.;