# HG changeset patch
# User wenzelm
# Date 1632334708 -7200
# Node ID 4f5e67b247e19011379bc581d03deb5c59381cdd
# Parent  783382bbd2b9a4dec693b3dc54159d77785f9e7b
unused since 398b7bb9ebdd;

diff -r 783382bbd2b9 -r 4f5e67b247e1 Admin/components/main
--- a/Admin/components/main	Wed Sep 22 14:32:20 2021 +0200
+++ b/Admin/components/main	Wed Sep 22 20:18:28 2021 +0200
@@ -15,7 +15,6 @@
 jortho-1.0-2
 kodkodi-1.5.6-1
 nunchaku-0.5
-old_vampire-4.2.2
 opam-2.0.7
 polyml-5.8.2
 postgresql-42.2.18