blob: d81cce0951e59528c2bb665c07a99b0a34d24c83 (
plain)
1
2
3
4
5
6
7
8
9
10
|
MD5 2561503852b06c6950d1e30e0c696835 coq-8.0_p3.ebuild 2059
MD5 f53f121e28c13d7bc92083befddc19f0 ChangeLog 2312
MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
MD5 cb991d5ec534868ff853690657f2e104 coq-8.0-r1.ebuild 2069
MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136
MD5 94b1d26b3c8781903409657f25b64f29 files/digest-coq-8.0_p3 209
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
|
GitWeb
