100644 blob 1360e357f098289b3364c37851707039de931425	README.md
100644 blob 9227c42cc5b7d6cdcdc60eda77574f3cbf4139b1	magma.attrib
100644 blob 41727c31c8bd5058414d4753ab036e6e4d1dbf50	magma.in
100644 blob b2d927b6df0ad19a479f2c093830151687b67217	magma.types