Satish Balay 480cd9344f Add version 2.5.1 of MAGMA released today (#12274)		2019-08-04 20:36:48 -05:00
..
ibm-xl.patch
magma-2.3.0-gcc-4.8.patch
magma-2.5.0-cmake.patch
magma-2.5.0.patch
package.py	Add version 2.5.1 of MAGMA released today (#12274)	2019-08-04 20:36:48 -05:00