From 819c24d1ab4d9792f67930d9c5994199afb16926 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 16 Sep 2016 09:41:50 -0600 Subject: [PATCH] Replace polybori with brial. --- comps-f25.xml.in | 4 +--- comps-f26.xml.in | 4 +--- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/comps-f25.xml.in b/comps-f25.xml.in index 669b0311..776d2f26 100644 --- a/comps-f25.xml.in +++ b/comps-f25.xml.in @@ -1492,6 +1492,7 @@ blas bliss bowtie + brial bwa cantor cantor-R @@ -1584,9 +1585,6 @@ picosat picosat-devel plotutils - polybori - polybori-gui - polybori-ipbori polymake pvs-sbcl pypop diff --git a/comps-f26.xml.in b/comps-f26.xml.in index e33b6cfd..33e68465 100644 --- a/comps-f26.xml.in +++ b/comps-f26.xml.in @@ -1487,6 +1487,7 @@ blas bliss bowtie + brial bwa cantor cantor-R @@ -1579,9 +1580,6 @@ picosat picosat-devel plotutils - polybori - polybori-gui - polybori-ipbori polymake pvs-sbcl pypop