14 lines
5.2 KiB
Text
14 lines
5.2 KiB
Text
AUX coq-8.4_p5-do-not-install-revision.patch 695 SHA256 940d926eeb60b40d491ade24ddd03fdadf8ddae0f1d4daeebb69ea458c0638c7 SHA512 bd4d73aa6f8e1471030cac13263df398fe504cc375f68111f099a9f93e68ae0d56e55ac97071a435db3421c3355d92c507bae2c8abb3c92623780428b23bc76a WHIRLPOOL 90f96d4b78547ca361bd6e769e1805ae7ee6ef204c7d11302671298e91bf57fb3d84d9030d4d1aa65c101183db5641f30b070e57ef27365984c9b199b4658343
|
|
AUX coq-8.4_p5-hevea.patch 546 SHA256 574eeafacd44722253eae9ed63e5a217fc4f8264953d6bc4bf4919738de9de1d SHA512 5a29c63b3054070bef1664b928cc5e7403c778acccbf7f395a4c20a21a31b3bf4fdf888114278afd2fee19fdf85acab01819af006abe2c59da79b51bf67815b5 WHIRLPOOL af234a8170ec22a596a4d426d25ce0a812d75ee75889871567e9833b56976b89441b9d829f7cd7a69ab28613b9a98c6dcb332081c6e1f79c41a406d2a1dd279b
|
|
AUX coq-8.4_p5-no-clean-before-test.patch 383 SHA256 ca2a3d32b2203de99fcf5a6d187eece62d34eb9d9a5a883fb3684f62baf870b0 SHA512 e655b47651e645d29ff5002f7f90681aa09c8b087d70c5e94e0ac5d915089097deea9763db203c367e152c0b456646c43b52daf6f6bf0112c6c75eb50881976a WHIRLPOOL 644ebe3f0ded3fb2688cf1c9afdc3fdc6e22523623289cc64acd6095664a24f1d920b17543d16c0074e512a1eaa4bb67f3740815c80b3a5bdbca00fdb2640031
|
|
AUX coq-8.5-do-not-install-revision.patch 629 SHA256 c5f1fe46f26ef40f8789c38206688e4ed73de43c0f7ae6fe239649a075601ab0 SHA512 6fc0ba41c78fe798d95bdf46789c67ddab9901aa9898b980b49a21d1d9e813bca0c5b04cf906f0dc3faba86f4549be6056c9d1fb92456f6047cc085450ae583b WHIRLPOOL b7e357f7cf0f15fa3f697246c1080744ef016b5cb50df6c86daef1803651ea5bdec6929ecebdf72c24b0457816b0bf983c591fc506b221462b4b2d63873c88d2
|
|
AUX coqide.desktop 204 SHA256 6f9b1acad2dccb027ab7665e9e07569ae7d257b925592d8c385f166b8d3571bb SHA512 157e7a0803e0d9678bf1d9c2cfad36d96931cde34801f6c50f04df950bbb19b1004e0aebfc9b1f3659f30edc4a750ba7085a253b67a5ec5e81b694c213f40264 WHIRLPOOL c4549755e46cb27381c719b0e0132bd7e1b101384e177d6ff19d3be76cf295879099586948ad7d6e384135dcce46973795922973da6c875972356c94731e9131
|
|
DIST coq-8.4pl5.tar.gz 4070062 SHA256 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245 SHA512 0965ff409933d601a5c96963ea805ce20dd22f1fd9a9473898de1b376403b4e7a9a86b36b58eb1480cfb3a25970626e1dcd225899c089f5a301f4809e7f8f242 WHIRLPOOL 6dea97e7fe655a33757e8f031b28f91f98558e53205890d6b9d928d5641c05814f8d743cb02c39b26dcf93aa4076c5bbd9710a7dfd9f6a3456e38039b0cb8220
|
|
DIST coq-8.4pl6.tar.gz 4099815 SHA256 a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6 SHA512 238bc6e28348f40f5619aa28d2e871179d9edeb6eb3f2521af6f407e24a889c8c68fa11c8b12e026f016f0fb7d5006447c3ab7eeae0804fc082d65774aefe0ef WHIRLPOOL 2120dcddce773d90ba024e97fc00df3d563edf398eaf0bbb3dc1df1265b5e657cb4044d334f598898c30a88f0579b35b38f1d6bad4ea5e373a0a30826b245e99
|
|
DIST coq-8.5.tar.gz 5346653 SHA256 89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d SHA512 28835a9dc4c926f97b14d23fe746e45e17942003e29807ec59f301eb0b697d704f05afc4cccd31b83bc27e9877d079d00e94a2101ba16ae32f4134e90ad011fb WHIRLPOOL 30925b92f71ba606e43f1b46368822e8d6f6e6c1ae500c8fe1fc912c4ef0608c6db3c070d37ffabbd0e054eac0ff7d1b1e46eae33b73149bf238101b20a0f6d2
|
|
EBUILD coq-8.4_p5.ebuild 2381 SHA256 0e2b9393fef341fadd9d0577870d566a71940eac753352dbd80d76ea12ab047a SHA512 429f23f99dab567beaab4389baab43f42bceb2f47e8173fa9e52004503a14618bf5ce9aa7177e1a649012315e33c3dc942ef5571f1366bfaa2bad4c32a4cb91a WHIRLPOOL 276d60d9e2bca431dc4d478a14a868b363fa3ca2345021cb668b7a50e1be173e3277e13bc6afa88ee6eda7a410e34b97e1e2e6d0c30e7340a44ef84eaaec5ccc
|
|
EBUILD coq-8.4_p6.ebuild 2392 SHA256 bf84b62429f84b2234ef2b31646e5ce4c65664fbb8bdc5236b0e25ac0cb4560e SHA512 48f1ed6d6572666a3483be3efe7430d5d9389fd77e6f44072ebac9772063aff92d4edaa67ad35128ae271b2078cc9ba84401d5b6ad0c6cc8d5a8d4363ee1adf7 WHIRLPOOL 25ab5b5f6c1687dd834c16f5513075c2f4d4e1bb59e39f783e1b66e7c3dd50e8b289b12df76228dad65caa2c5200bbda455a8fc1ac6398562bb6a140e4c8d10b
|
|
EBUILD coq-8.5.ebuild 2120 SHA256 ae0ee099a70e4082a04973442d866684152488ccf95b6dd463aeb8b6e88e226a SHA512 10476e37168a26f05192ff856a1aa60c553ac4b83405f6035026b043e19ef49ad37ebca1e477201ff3266a108ce3d9d1cbbb51358d5408ab7aedf7ec849ffd2e WHIRLPOOL 5a271d70b88a4dca117ad25d6abc12ca4f3a857a2945e69310244c3e631f6c4361b008963a3bddf33851cde9b8273f757b7ccb55ca2b8ec86522586455e8d3a6
|
|
MISC ChangeLog 3713 SHA256 f8ec63b269d7369c1d34889cbf9757ce31e8d99bf9510b3468f50b72beb1c397 SHA512 100e94dfa702dd00ca412ffaed4c2b74f296f1388193aa70d396129f103de7cc8a699edea0fc69274b372616bb69650e120b0e27c516c1f705b3e54f627c35d3 WHIRLPOOL 92c6d472577d0cbdeb200f527a619323783aee5164a55334c45aea10e040032801e66934787aeccd4bccb8f021e3ac650ad435ce57ccd8d5e51734bbcc1f4ce3
|
|
MISC ChangeLog-2015 14610 SHA256 29ea672165f7b1d0c386175e219d9685d07fa53ed4a8a8d02278fd8390fa1190 SHA512 5530975ef086bc4ad2fc579f07b1718d451df04ff13b350f080630972f4b9da6560d61f5f6c9dd61881a79beca58f71aa356dbf84cdc47022037f638516a6b27 WHIRLPOOL 2fa629c380ee9ec61e0ccf8aa26d3025545d5a702eb89bd5c944170f0f1fe13af8d1cf065a368927bdc5c88cae63a251ea7daff72aa8cf38c30a10e3e2d4ebad
|
|
MISC metadata.xml 1113 SHA256 1720d2147ae5051682d692c927e93f4ce8ccba8b6593a27720a6bc173fca562e SHA512 10bf7af26739a58d7e2165ab8d02b6412540c2abd1e28b800976fd8fc9df78275b5dafbdb2e660eae7fb4946769b41812ee5d2bba931317870d993869d7412b8 WHIRLPOOL f09aa337d190b08f69438479bcf51f0821c30158ca8c44c07a8eb8a4b5ced2a8af47d10d1867a5d6603e55dfbb90bc701de381a3ab1799b9dc2057b793329782
|