diff options
Diffstat (limited to 'sci-mathematics/coq/files/digest-coq-8.0_p3')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-8.0_p3 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-8.0_p3 b/sci-mathematics/coq/files/digest-coq-8.0_p3 deleted file mode 100644 index 5d39e29b2217..000000000000 --- a/sci-mathematics/coq/files/digest-coq-8.0_p3 +++ /dev/null @@ -1,9 +0,0 @@ -MD5 028d27ab3b2eb4ac5d223597b655c833 coq-8.0_p3-ocaml-3.09.patch.gz 5256 -RMD160 17dd484a71ddcf5724435ef7386db070b9840949 coq-8.0_p3-ocaml-3.09.patch.gz 5256 -SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc coq-8.0_p3-ocaml-3.09.patch.gz 5256 -MD5 78bbf518d2e15c8306f692707c24be1c coq-8.0pl3-translator.tar.gz 233228 -RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe coq-8.0pl3-translator.tar.gz 233228 -SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 coq-8.0pl3-translator.tar.gz 233228 -MD5 c98d4cefd119accb1ecdeebb41128822 coq-8.0pl3.tar.gz 2309002 -RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 coq-8.0pl3.tar.gz 2309002 -SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c coq-8.0pl3.tar.gz 2309002 |