summary refs log tree commit diff
path: root/gnu/packages/patches/mumps-shared-mumps.patch
AgeCommit message (Expand)Author
2019-10-14gnu: mumps: Build and install shared libraries.Maurice Brémond