blob: 3e5756d2f5eb49333200dc6301fc997347ccf960 (
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
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5
MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676
SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 files/coq-8.0-byteflags.patch 676
AUX coq-8.0-ocaml-3.08.1.patch 1321 RMD160 9cacf8590ac611f04f6eeeaca0a9240b1dafc29a SHA1 d99ad532e597eb6b7ad8dde2b5a20ad4c53b8567 SHA256 bd5a0363840f483d98c4b2374f8199b0991f88eea1f152f235efc789d51c4616
MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
RMD160 9cacf8590ac611f04f6eeeaca0a9240b1dafc29a files/coq-8.0-ocaml-3.08.1.patch 1321
SHA256 bd5a0363840f483d98c4b2374f8199b0991f88eea1f152f235efc789d51c4616 files/coq-8.0-ocaml-3.08.1.patch 1321
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
AUX ocaml-3.07.patch 333 RMD160 8506611923b6a54b546419df43cda235d8fa042e SHA1 759145d7eb28248dc1d5ae670af20ade6bf30ab1 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
RMD160 8506611923b6a54b546419df43cda235d8fa042e files/ocaml-3.07.patch 333
SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a files/ocaml-3.07.patch 333
DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc
DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340
DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA1 6a34bbed937e57b6e783765344004fadf9cd827f SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33
DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7
DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SHA1 9bdcac16c82d1dadc8009fd98e20c15e251d5be7 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20
MD5 4a4ffa884422004f87fb79781054f44b coq-8.0-r1.ebuild 2067
RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 coq-8.0-r1.ebuild 2067
SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 coq-8.0-r1.ebuild 2067
EBUILD coq-8.0_p3.ebuild 2053 RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 SHA1 252aa18197fa50853594c82d577b364a5ebcf157 SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597
MD5 253d103e005e0e6c78757821d59857b5 coq-8.0_p3.ebuild 2053
RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 coq-8.0_p3.ebuild 2053
SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597 coq-8.0_p3.ebuild 2053
MISC ChangeLog 2998 RMD160 380a342ac7c4199c90f50992508f49798d61e90c SHA1 2fe0cb124fe729c30f46b9e416cb82b103c959a2 SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f
MD5 0c651381d712216e4a0d2a746bf2c99c ChangeLog 2998
RMD160 380a342ac7c4199c90f50992508f49798d61e90c ChangeLog 2998
SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f ChangeLog 2998
MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140
MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245
RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245
SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 metadata.xml 245
MD5 aeca137009e9122f025cfd23b307d7a8 files/digest-coq-8.0-r1 500
RMD160 8f45c953b095d4e8dad0409e798485eed9ead256 files/digest-coq-8.0-r1 500
SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/digest-coq-8.0-r1 500
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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5-ecc0.1.6 (GNU/Linux)
iD8DBQFFCvidKRy60XGEcJIRAgBKAJ9TtmW0h9GUosmgaTyJ1kKqrkmpDQCfWa8T
gh+Jl1abvdRlyBKjcpwfJkw=
=ld7w
-----END PGP SIGNATURE-----
|
GitWeb
