blob: 84cf1b4732bc1c5c80842836225ff141201c1029 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
AUX coq-8.4_p1-camlp4.patch 594 SHA256 453e8761bc525de0f96c72e43d777dc6e3bf9fdb6ab79fb602793f290ed30aa0 SHA512 1d6ed0ac8e6b321a4d942969076fef46a07de13c4d3e40776af7740182e87d025cef1ad523ce2b5c0c1fd567ef66eabfdbf727ae5729cd68ce85c936bd42d1dd WHIRLPOOL 6103237e90f19ded2e07fa8e279a368f794607591d5258b5fb41ab9a827c99c0cef058877891dfc888726bbc724185c3d548b1a7c2d0684bf69b30f3601ce4e5
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 coqide.desktop 204 SHA256 6f9b1acad2dccb027ab7665e9e07569ae7d257b925592d8c385f166b8d3571bb SHA512 157e7a0803e0d9678bf1d9c2cfad36d96931cde34801f6c50f04df950bbb19b1004e0aebfc9b1f3659f30edc4a750ba7085a253b67a5ec5e81b694c213f40264 WHIRLPOOL c4549755e46cb27381c719b0e0132bd7e1b101384e177d6ff19d3be76cf295879099586948ad7d6e384135dcce46973795922973da6c875972356c94731e9131
DIST coq-8.3pl1.tar.gz 3756961 SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928
DIST coq-8.4pl1.tar.gz 4139808 SHA256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 SHA512 dc0073d2cbce91ac27749d84de1b350ad71632555a682d8af6612768d2c92311eb1fd36b7370e0fb630d540639a1c7e16f26a9de25d03d82c3a6eefb99aa3420 WHIRLPOOL e912b97ba1f91d3398d569a588d7cb420389c88971847e66ddff38c3fc715e45842aab285e343c0c6339da659f324ee7b60f37fd0cdcd5a8ce27ab0e8cce915a
DIST coq-8.4pl2.tar.gz 4145112 SHA256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 SHA512 151291a508c56f9fdc9efd96096852e94c247724030ad13122ad729476f3f7d4885c9202737d9109b6fa7f58029d3b9e8f472a7e587e0b60a49a0224ac399031 WHIRLPOOL ac338571da5f6efc08e9184f1e13b9783bd750627c70af2eee46116d2d949e61a0cbf31745373ccea3b3b862c1188316c2aa3b38e211a398185503c2844a33c5
DIST coq-8.4pl3.tar.gz 4064579 SHA256 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38 SHA512 e4a385b10b30159545c283e11400f5790a6ca1b91632afe93b73c6a8b523fd408db173b25a1797f69bdfde9a16b37751944041aa9be5a1194b0fe49a9bb56240 WHIRLPOOL c44cc9f55f25dfb37d7b011c3ede3ad47f7191b02a6258bd4bda67854b9cce0e32b412ead826a5ca7a21dc2fe8841774231cb0693da335f5146172463ec57aa2
DIST coq-8.4pl5.tar.gz 4070062 SHA256 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245 SHA512 0965ff409933d601a5c96963ea805ce20dd22f1fd9a9473898de1b376403b4e7a9a86b36b58eb1480cfb3a25970626e1dcd225899c089f5a301f4809e7f8f242 WHIRLPOOL 6dea97e7fe655a33757e8f031b28f91f98558e53205890d6b9d928d5641c05814f8d743cb02c39b26dcf93aa4076c5bbd9710a7dfd9f6a3456e38039b0cb8220
EBUILD coq-8.3_p1.ebuild 2129 SHA256 111ec6cb5612ecf95164515314840dcf562b606b088cc2a298dc3254cdf9607c SHA512 c5c0f0b7d6ce738c247e5958fc29a686ec500d809b9e175d8a2aec108e36c91858b7cdf9301c0e81754838a8e5e430b50caab16772604ca77f0319a62268102e WHIRLPOOL d64c1def21f03772def04fba7537fb4dbf6035256a4d3eae56be864ae1f0a16325370e960ed79c6719c44ba4c88d030950121684f5af635d63967ccf4e2d3b5a
EBUILD coq-8.4_p1.ebuild 2096 SHA256 83fc4294a2d5d5f236225e7b403538806bef7642f0f4f7a6ccf25ac7994df361 SHA512 89d23b58d14e914c4019fa6d8a9fe3d019138ad0f0e5b7f40df413d50bd51471f1494d205c4514cd6ad603843d97894c6009f44d6dfe1c73bc090378a70c8c98 WHIRLPOOL d6cd968483b6b491c77154ce77941c541c5f853abaf809a4f8b144cc5408b2fd43e8066f48cc745239f15061144b106d100e5a404570ae22e7bc5df2a0852e21
EBUILD coq-8.4_p2.ebuild 2013 SHA256 f6b5b1dfbccf4153a0916903f95d67a2b7284ad3746afad6ca3657285beef8bb SHA512 90a6d883dff9c6966a7b50e05d10d924f50f0f8e433f8b33d3d562c68825c14ec22d0c120d13d6d2061fb141fe03ecd480cf2456182b337711864a4156c01d0c WHIRLPOOL 60f8f20d755488ec88d708368f8e6d35a0204d049128716536706ed656aa6ebaef744f7c14cf7c5993a8a8278fda2f884d007e6e1698e0b25bff48229e93a0e0
EBUILD coq-8.4_p3.ebuild 1996 SHA256 cdb1f77fc542b0c3a3c12d69656af19a32887daa7f66ead2f8215f7d9ade69d7 SHA512 b5facb001306516d9c5df9669977c2c1c2cc3634d370961d035286aab1425d387882dad05815feb05fb24b417495ffa55a86d35b7418dd6e4b5245c9cb71a5d8 WHIRLPOOL 4997f45d55b0ad65d457b24c3ceca658ec4577ce59885452937da1ebe22f88e1ded11dbce0f8690fb13d663ac67baff80eea2a5033cbdb7b7cf4bd8902b0c9cd
EBUILD coq-8.4_p5.ebuild 2489 SHA256 11e7d8e570856d015c22e83706f649e66ae8eeb7d6ecc44ff5946e114829f055 SHA512 22fe08367d9374ae7b28e21505b211bbe0f9255bd16a9b01d945d0546791313f2859bf208b01b73fd43260a139f5723e3746b6a3cbfbb7d7a94ff214778be0d7 WHIRLPOOL fb689ab56673cf268f02447f9140606d99e57a485bc73771e510bb65a56be063240117b4b82413999fa46752f39d0894e795c72730705130c06acdb980e2889f
MISC ChangeLog 14340 SHA256 88e00f98c203fb3083bb14bf16bde11daa95de74d822c5b4a6725b302b8aae89 SHA512 df7db76cb42de4f9472cb323db2547b998778b8643b91b864fa791c030383762719188f1b209c13f4e9eadc79d1af8e2d6aae4ad2f6b3e03c1f63ee2903b0e15 WHIRLPOOL bcb22e012fffb4666c412a7bb1e5cd7576d0119e22253009018fa381f6360d9b7628375a8f86fcbd01ea95ba9be981f3acaaa86ed0f263712ab1fc44648bfa6c
MISC metadata.xml 912 SHA256 004efe7e4a2a780d79f709c74ceb3477407b1f0120218eaf7b11e3d82cb67b65 SHA512 b0720691e44431b8060bd2fd5870147f68c9d4d887b46e667661c034f4efdecb638cd80ea6efd474c231ab342d9e708a522075a38c0de5f1a49040af2865ff2a WHIRLPOOL 05fce40010254b116541116a9851984382accbf5b9660696887857224aa45265d51ac64f8780a6224fa071eebc15efd04f85c2008b856741b291483d5a8c5666
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0
iQJ8BAEBCgBmBQJVC9J8XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQyQ0JDQjFGMzBDQ0UxMjFGNENDNDgxMDdC
OUQ0RjIzMUJEMTU1OEFCAAoJELnU8jG9FVirqsAP/jR8XmWxxoAX9C4IsWRJWlHR
j1SI0aEC1hgFwDGxmAqitupXwn0q0JGKdW+C0K+w/EX+siSSzhxvYDDSLpTPgpwC
GfyrmfILSU/27AoAIak+VlTnBNkxwPd02e7b41R+10c5e/frlJO8qmn7q8JEoocq
tea8yOfj9zXYxf22xTpJaoc8giSMDdbeoUDGOG41Xfwsxg+EXNympRFhRHnUw0MX
7/lojmOzIKfdbyu9f/7DvQ+lqFvxpxeQExKc6DDatBt6/juk9/TKh8fbG345yAkO
qTHRPQpl9r0U6cBQgbArHAM149Hi32sc7eiKVfOlPZINGJN/E8c6c79zEYRdtLak
uGwRt1EGWOGXypnXtPVtnaV6hINohadxhg6RxDJfOgWCJQhXQypHgu3WRX5JHo7E
a5g2TERCUTb2kdlncc/jmtEAohtn4hd9jbXtIu+eF0KdYBZnbm90gRrOSLNVSlC0
ShRyGyvOQRVBj6JKgEENtuOqzjdzncgb+vpDnp/OlAhkH8rusP0w4sNS0phvvRvp
5aS4BMY4RO7LWgC7u6mxz3wFA+HSRGFUnn2SFCchMX2Qun6Jb/LYyB2inQJ/b81H
0vKjZx0dvFMdexRHdkuS1k24PGut9BcDBFrJErTol5s73Uh9viH1aLWGy1bdJiIZ
ukq8Z0MgvHijDieGCigA
=Znwe
-----END PGP SIGNATURE-----
|
GitWeb
