blob: e954a645fbbc3d579735ac00ec1007f7c6dc0442 (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
AUX coqide.desktop 242 RMD160 78d55202099015b63459b8d1366befc26dc0f259 SHA1 fefc588252399b33f34ff8a1f15bdcf13e5d4d0b SHA256 8444a5bdcf66303265c6fbaba67c0f1b6b06a97bd31929d91ca9742da6961a71
MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
RMD160 78d55202099015b63459b8d1366befc26dc0f259 files/coqide.desktop 242
SHA256 8444a5bdcf66303265c6fbaba67c0f1b6b06a97bd31929d91ca9742da6961a71 files/coqide.desktop 242
DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA1 cf270ee2002f3d0f14802fdfc84dbf2d09c5434e SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc
DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA1 4a62e60759c8bbbf454febc47da0c92a0e9f862e SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7
DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA1 b182f25b8e6591139281f7078d049aaa7f0408d8 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
DIST coq-8.1pl1.tar.gz 2984726 RMD160 9982d2022abfb2f74dc34cdc6cdd25343f5cb583 SHA1 8142cd21b3d0b5fd56c3b5568550c09cac91a3f8 SHA256 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940
DIST coq-8.1pl2.tar.gz 2997185 RMD160 e45451fdd41b1f979febcfb2c0dbd19a39d09256 SHA1 33ab31abffe42559a5c8341b66a0520805337526 SHA256 04d1ab1cfefe453224dee89d4351fd45a9553acc8f242e87f8fdad6e8af5320c
DIST coq-8.1pl3.tar.gz 3003593 RMD160 f8f4749e1014cb47a83915550713cf9ce1992e34 SHA1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e SHA256 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6
EBUILD coq-8.0_p3.ebuild 2052 RMD160 3b0a5cba24f8c1707db057f5cbdf261689a77ce9 SHA1 a32bc5c69a760c64557eb0641d04c831cc8bb8f3 SHA256 957d73b1a7f66bc3ae3f4b809d5e0c758b56c137f5c6de3ffcc39dbba12e66fe
MD5 0939af0ca70a3ab6d77463ed752d312e coq-8.0_p3.ebuild 2052
RMD160 3b0a5cba24f8c1707db057f5cbdf261689a77ce9 coq-8.0_p3.ebuild 2052
SHA256 957d73b1a7f66bc3ae3f4b809d5e0c758b56c137f5c6de3ffcc39dbba12e66fe coq-8.0_p3.ebuild 2052
EBUILD coq-8.1_p1.ebuild 1607 RMD160 826f068f693967043bfc4742c272e38f905635dd SHA1 0ae0e5f5a9d5d339a44d311c0ee3139b19a55960 SHA256 58813aadfc76dae8565daef7c7ba97467a2f061b80ce6be9f3fbeb1a7ca0495d
MD5 c06ffd47ac0e4986ede67668af6f2a76 coq-8.1_p1.ebuild 1607
RMD160 826f068f693967043bfc4742c272e38f905635dd coq-8.1_p1.ebuild 1607
SHA256 58813aadfc76dae8565daef7c7ba97467a2f061b80ce6be9f3fbeb1a7ca0495d coq-8.1_p1.ebuild 1607
EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SHA1 bf69e59f9036cad26a1f5f532ae601ec870199a9 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad
MD5 0931e7f0be585a64a2a3defb96b7ab66 coq-8.1_p2.ebuild 1725
RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 coq-8.1_p2.ebuild 1725
SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad coq-8.1_p2.ebuild 1725
EBUILD coq-8.1_p3.ebuild 1725 RMD160 4f2d42d2cb2f9449d638e808bf4dce387613044f SHA1 ef5feb43d194e9c1ac1fc584103ec749491cbc12 SHA256 514aa85ad44baaddbc205c7905cfcdd27048e4908d8b67827eab0bc2542610f1
MD5 c3bbc4a95facc64b5cb3bdb3d0f69c08 coq-8.1_p3.ebuild 1725
RMD160 4f2d42d2cb2f9449d638e808bf4dce387613044f coq-8.1_p3.ebuild 1725
SHA256 514aa85ad44baaddbc205c7905cfcdd27048e4908d8b67827eab0bc2542610f1 coq-8.1_p3.ebuild 1725
MISC ChangeLog 4841 RMD160 3c52002aaab02e1837c4445148dfa1e5eb1fe4ae SHA1 4fea83d1e8c5b87729f0997817c37e9a45a7f5c9 SHA256 94f0bf3dcfa38d242eb7ad5d4fc9d747f045b5a4a72df4dab8a9f64626b0cc1c
MD5 297d4206b69dcc2517b892d343ace1ad ChangeLog 4841
RMD160 3c52002aaab02e1837c4445148dfa1e5eb1fe4ae ChangeLog 4841
SHA256 94f0bf3dcfa38d242eb7ad5d4fc9d747f045b5a4a72df4dab8a9f64626b0cc1c ChangeLog 4841
MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b
MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174
RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174
SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b metadata.xml 174
MD5 07d28c72f4d0913e374c8acba9a363b8 files/digest-coq-8.0_p3 765
RMD160 0eb02a90f6cb1bd9b1174cf2fc2e724a4f50cee9 files/digest-coq-8.0_p3 765
SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/digest-coq-8.0_p3 765
MD5 7a4fed88ce4670c5216e542adeaaa4f7 files/digest-coq-8.1_p1 235
RMD160 25cc8fd78c93c6b6ce97ba7435ead0c8b7f863f5 files/digest-coq-8.1_p1 235
SHA256 c45e2081aea31363e671e61b8335e4a15955ea13bc5e9f26f6f0a0fd96cdae84 files/digest-coq-8.1_p1 235
MD5 2cfc8fd041d90954c16584ef6b800760 files/digest-coq-8.1_p2 235
RMD160 02ab849b986c8d8e0da29e3d6dd79b410e2d7c61 files/digest-coq-8.1_p2 235
SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/digest-coq-8.1_p2 235
MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235
RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235
SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
iD8DBQFHaXotvFcC4BYPU0oRAgxXAJwORvHIV5J8CS3oOEcSisnmicEsjACgmO6V
BlozLVwRarZy3uFWSnPPtD4=
=asbp
-----END PGP SIGNATURE-----
|
GitWeb
