diff -r d7a62db70a07 -r 19022ea3f8cc Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Sep 13 17:06:44 2021 +0200
+++ b/Admin/components/components.sha1	Wed Sep 15 16:02:04 2021 +0200
@@ -262,6 +262,7 @@
 e1b34e8f54e7e5844873612635444fed434718a1  naproche-7d0947a91dd5.tar.gz
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
+3d7b7690dfd09e25ad56e64b519f61f06e3ab706  old_vampire-4.2.2.tar.gz
 fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
 eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba  opam-2.0.3-1.tar.gz
 002f74c9e65e650de2638bf54d7b012b8de76c28  opam-2.0.3.tar.gz