diff -r 9267a04aabe6 -r 2f9877db82a1 etc/components
--- a/etc/components	Thu May 13 15:52:10 2021 +0200
+++ b/etc/components	Fri May 14 21:32:11 2021 +0200
@@ -2,7 +2,6 @@
 src/Tools/jEdit
 src/Tools/Graphview
 src/Tools/VSCode
-src/HOL/Mirabelle
 src/HOL/Mutabelle
 src/HOL/Library/Sum_of_Squares
 src/HOL/SPARK