source: ThirdParty/Mumps @ 4119

Name Size Rev Age Author Last Change
../
branches 4117   5 months stefan merge r4066,r4074,r4075 from trunk; rerun autotools
releases 4100   5 months stefan creating BuildTools/ThirdParty/Mumps?/releases/1.6.2 from …
stable 4116   5 months stefan sync with trunk
trunk 4119   5 months stefan add LICENSE file stating EPL 1.0 - closes coin-or-tools/Blas#2
Note: See TracBrowser for help on using the repository browser.