AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f319cef3ef0042b8baa89d87066867311fd804862d43599a262c64e2b747a6c21415bb69137a3e8e59dd332155 SHA512 013fe4ec983c8ca612621319fad5fe66e081516979e4dace71f24ec72cac8d7fe2a021e701b2bcae1e87209783330c02b799cdb6c1274f7f8d3dc51efaf130b6
AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
DIST lean-3.49.0.tar.gz 1918154 BLAKE2B 9f9973d00d2d5d5b7d26d50117c27754feb5132e88decd55859432a384dac2897184dcf8d841ad0034854657ac25e462dc69cdbe1cf2040787d108bb7e1370f4 SHA512 b4672843c2e923da8d56b91c14966fc2ec66c573564d68db9c52f9b40f2c97d82497f2ef6424b023c4ae50f6f0c11674e2d79053844ea669d226d0fe24077ade
DIST lean-3.50.3.tar.gz 1918462 BLAKE2B f8cb3857989e4966c12a9b4f4a13403ceab0ae9d33ddf81970ef886fb1f46bfd14bfc15aea498ea360cc801224c60489f0ce3b33fe10bead4dcbf3f6a06eee93 SHA512 849b9e8854585ce119f87e8bea655bcb834f1f986bccbf5ffa148fd4a1aae2030b6be938adbf377f0076361a3d9338802e1af8965f01b9c4d2a0517be330beef
DIST lean-3.51.0.tar.gz 1918905 BLAKE2B 83131417011d89846084608fc9b6b5b8254584da63b2e2d7626064a170c3bd3780973483ce60afc49713df840e150c4ed92951bfd7fbdeb520791e58164313cd SHA512 712c5520d298cf7098f5e5d787ba91096d73ba08a15581f4478836c7790679950a1a0b0d7d9c876b1557ae7dc56b10430ac1b4227b5d30ac1ad398e196c2fb11
DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08ef3b155cac2d9dfc029202cb79b85e844fdf068e454498a35522ec3e18330da8c644bba3c6f708cbde04816f7 SHA512 dccdf6c3fbcd98115e62b9944645af6a2ce21412d63baa9565871807862e8d83cc6f29d1fb687f19b802240a5f9c019443caa00412ecfabe621744dff900e3ee
EBUILD lean-3.49.0.ebuild 1767 BLAKE2B 8b4c2d7aea54b4e93e2f284bf78129fd47ee1d4de6bd2e867151c2e8e3d52c1cf52d1323cd03107c0a30555b94284347a94aa859918e135db9e86fc6559f2352 SHA512 270450c4cb4f7ff4cf8e4f6e4432551d6ba92ba44c86a97797488f471f0c5882afc0f33985bed59a529a7f134e963a5bd10836cb7fff6ba0910f6f831821a75a
EBUILD lean-3.50.3.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d
EBUILD lean-3.51.0.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e
EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d
EBUILD lean-3.9999.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e
MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7