# HG changeset patch
# User wenzelm
# Date 1543756294 -3600
# Node ID 7bcad752857dcd89ba8b991689ace89283a59fc5
# Parent  be9f187dcd50692c46c1013aaa7327f0956872d3
obsolete (see 3ee6947bfb34);

diff -r be9f187dcd50 -r 7bcad752857d Admin/components/nonfree
--- a/Admin/components/nonfree	Sun Dec 02 13:29:40 2018 +0100
+++ b/Admin/components/nonfree	Sun Dec 02 14:11:34 2018 +0100
@@ -1,3 +1,2 @@
 #special components for internal testing only
-vampire-1.0
 yices-1.0.28