diff options
Diffstat (limited to 'math/coq/distinfo')
| -rw-r--r-- | math/coq/distinfo | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index ec1164b..99d9b62 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,6 +1,3 @@ -MD5 (coq-8.0pl3.tar.gz) = c98d4cefd119accb1ecdeebb41128822 -SHA256 (coq-8.0pl3.tar.gz) = 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c -SIZE (coq-8.0pl3.tar.gz) = 2309002 -MD5 (patch-coq-8.0pl3-ocaml-3.09) = 5e1187201c86d8b00a82bf15992e0162 -SHA256 (patch-coq-8.0pl3-ocaml-3.09) = 1d71c6e39342c109c9161c037b5db84fb3caf5ee02171b492a703153b3bbc2e1 -SIZE (patch-coq-8.0pl3-ocaml-3.09) = 29634 +MD5 (coq-8.1.tar.gz) = 33668f73d30fda58c92b0a9f5b0b8329 +SHA256 (coq-8.1.tar.gz) = b8362e532ad8e464b5bf5bdce45c4cef5109fd0957f396373af7e1ab023e9ae4 +SIZE (coq-8.1.tar.gz) = 2977142 |
