# HG changeset patch
# User wenzelm
# Date 1611407822 -3600
# Node ID 96321006c2d469b9152ed821d711775beaa6cf9c
# Parent  16772cc234a91400f9cc31ec1384aecb1c6e1658
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;

diff -r 16772cc234a9 -r 96321006c2d4 Admin/components/main
--- a/Admin/components/main	Fri Jan 22 19:32:03 2021 +0100
+++ b/Admin/components/main	Sat Jan 23 14:17:02 2021 +0100
@@ -11,7 +11,6 @@
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
-naproche-20210122-1
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686