From 79973e09257fd60e35fe03715ccc2bdbfc4c087f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Nov 2022 15:52:21 +0100
Subject: [PATCH] for #67

---
 runtime.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 runtime.txt

diff --git a/runtime.txt b/runtime.txt
new file mode 100644
index 00000000..55090899
--- /dev/null
+++ b/runtime.txt
@@ -0,0 +1 @@
+python-3.10