BTW: They answered to the github issue. Fedora has a patch to use the
minizip library:

https://src.fedoraproject.org/rpms/libsbml/blob/rawhide/f/0001-Use-system-minizip-cmake.patch

(Maybe for the next upload).

Thanks.

Reply via email to