From 7f94bebf2d14a689e73074f41101b4c7d17858ac Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 3 Apr 2020 19:55:20 +0200
Subject: blacklisted lrs and gap

---
 blacklist/pentium4/lrs/polymake | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 blacklist/pentium4/lrs/polymake

(limited to 'blacklist/pentium4/lrs/polymake')

diff --git a/blacklist/pentium4/lrs/polymake b/blacklist/pentium4/lrs/polymake
new file mode 100644
index 00000000..d2100e63
--- /dev/null
+++ b/blacklist/pentium4/lrs/polymake
@@ -0,0 +1,2 @@
+depends on lrs and singular
+
-- 
cgit v1.2.3-54-g00ecf