diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-06-07 14:19:41 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-06-07 14:19:41 +0000 |
| commit | a2b985d4dcb9c59501d2cb8a2f716e3db4ed122f (patch) | |
| tree | 011798ef7c93c9e02f6f8a26c139bda8e40444db /math | |
| parent | c88f643c1a9bc34aef0bfe58cdf1bdb3d905bb98 (diff) | |
| download | ports-a2b985d4dcb9c59501d2cb8a2f716e3db4ed122f.tar.gz ports-a2b985d4dcb9c59501d2cb8a2f716e3db4ed122f.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/distinfo | 3 | ||||
| -rw-r--r-- | math/wingz3/distinfo | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/math/isabelle/distinfo b/math/isabelle/distinfo index f44c2b1e535d..ea9fd46bc030 100644 --- a/math/isabelle/distinfo +++ b/math/isabelle/distinfo @@ -1,6 +1,9 @@ MD5 (Isabelle2005.tar.gz) = b40a7eff0c9897753f80ffad976b6d2e +SHA256 (Isabelle2005.tar.gz) = a8afaef94bb2efa91309f6dd7812a83628a2df2c3a954d32894529e9eee7f99f SIZE (Isabelle2005.tar.gz) = 6168654 MD5 (Isabelle2005_library.tar.gz) = 69ddee5572768865f132ccc38980a6e9 +SHA256 (Isabelle2005_library.tar.gz) = d7b1a101ddc2e139ef68c7e2d9731df24f9a749b1432948311ecf87f5e7ec53d SIZE (Isabelle2005_library.tar.gz) = 29778664 MD5 (Isabelle2005_pdf.tar.gz) = ba3a1faa32d585e1d9d21e411452907b +SHA256 (Isabelle2005_pdf.tar.gz) = 008842cfa2b6252e130af7695a98af8ff173cc2a41a712f9ab50419b10fe1a87 SIZE (Isabelle2005_pdf.tar.gz) = 4628889 diff --git a/math/wingz3/distinfo b/math/wingz3/distinfo index ba4329504d1e..d2b7f821d117 100644 --- a/math/wingz3/distinfo +++ b/math/wingz3/distinfo @@ -1 +1,3 @@ MD5 (wingzpro-311.tar.gz) = 72c7294b67ba1e61db1b2f77ea7e3019 +SHA256 (wingzpro-311.tar.gz) = b0a0d622e58aa066b9cb602f03155fcf6c538c56adc9037bcf69079e5158ab83 +SIZE (wingzpro-311.tar.gz) = 6011889 |