diff --git a/cornelis.cabal b/cornelis.cabal
index 0ad3612..69fcb41 100644
--- a/cornelis.cabal
+++ b/cornelis.cabal
@@ -18,6 +18,9 @@ build-type:     Simple
 extra-source-files:
     README.md
     ChangeLog.md
+data-files:
+    test/Hello.agda
+    test/Readonly.agda
 
 source-repository head
   type: git
diff --git a/package.yaml b/package.yaml
index ee59a80..4567f97 100644
--- a/package.yaml
+++ b/package.yaml
@@ -130,3 +130,7 @@ tests:
     - filepath
     # build-dependencies:
     # - hspec-discover
+
+data-files:
+  # Include Agda files needed for tests
+  - test/*.agda