diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2006-03-16 15:31:23 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2006-03-16 15:31:23 +0000 |
| commit | 706b4dbbee764076157c0bf0b90c7f7d5638542c (patch) | |
| tree | 30295fcaf9a5a98d27b0013f63c04e21610fc470 /math/coq/distinfo | |
| parent | 34e26774f0dd01b410f7fef29fb3b68338154a52 (diff) | |
Notes
Diffstat (limited to 'math/coq/distinfo')
| -rw-r--r-- | math/coq/distinfo | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index cdadc0618b43..ec1164b41db4 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,6 +1,6 @@ -MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 -SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b -SIZE (coq-8.0pl2.tar.gz) = 2285855 -MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6 -SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f -SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818 +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 |