Merge "scripts: use upstream sel4 extensions"

python-requirements.txt

diff --git a/python-requirements.txt b/python-requirements.txt
index 343ffef..48a093d 100644
--- a/python-requirements.txt
+++ b/python-requirements.txt
@@ -12,6 +12,5 @@
 robotframework==4.0.1
 sel4-deps
 setuptools
-simpleeval
 tempita
 wget