devendor-libraries.patch
macaulay2.patch
cppflags-pc.patch
topcom.patch
zsolve.patch
