Piotr Luszczek b94c8c2d53 magma: add version 2.5.0 (#10438)		2019-01-26 16:03:05 +01:00
..
ibm-xl.patch
magma-2.3.0-gcc-4.8.patch
package.py	magma: add version 2.5.0 (#10438)	2019-01-26 16:03:05 +01:00