Le 1/02/2016 14:35, Andreas Tille a écrit : > I wonder whether I could really skip the Zinc dependency. I'm also > afraid that if Zinc is not available I need at least xsbti - so just > another package I need to create. Is this correct?
You ignored the zinc dependency, but now you need to patch out its use to avoid the compilation errors. Emmanuel Bourg
