diff options
| author | sem <sem@FreeBSD.org> | 2006-05-01 18:01:58 +0000 |
|---|---|---|
| committer | sem <sem@FreeBSD.org> | 2006-05-01 18:01:58 +0000 |
| commit | 14caf50891f6140947c2810b8410456b2f07d3ee (patch) | |
| tree | b84c3fb24779f784437c5949d2d2333a0ccab576 /math/isabelle/distinfo | |
| parent | a586ab726c0e1666c054c432b03c7e12e1430ef7 (diff) | |
| download | FreeBSD-ports-14caf50891f6140947c2810b8410456b2f07d3ee.zip FreeBSD-ports-14caf50891f6140947c2810b8410456b2f07d3ee.tar.gz | |
- Update to 2005
PR: ports/94671
Submitted by: maintainer
Diffstat (limited to 'math/isabelle/distinfo')
| -rw-r--r-- | math/isabelle/distinfo | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/math/isabelle/distinfo b/math/isabelle/distinfo index cc4b0e8..f44c2b1 100644 --- a/math/isabelle/distinfo +++ b/math/isabelle/distinfo @@ -1,6 +1,6 @@ -MD5 (Isabelle2004.tar.gz) = 8ea6985fde973453090abaa68aaa8446 -SIZE (Isabelle2004.tar.gz) = 5650889 -MD5 (Isabelle2004_library.tar.gz) = 21a8eaa3e9ba8125450bed00e684bab0 -SIZE (Isabelle2004_library.tar.gz) = 17131435 -MD5 (Isabelle2004_pdf.tar.gz) = 8ff71a6f755f45eae6247924f5571ff1 -SIZE (Isabelle2004_pdf.tar.gz) = 4500547 +MD5 (Isabelle2005.tar.gz) = b40a7eff0c9897753f80ffad976b6d2e +SIZE (Isabelle2005.tar.gz) = 6168654 +MD5 (Isabelle2005_library.tar.gz) = 69ddee5572768865f132ccc38980a6e9 +SIZE (Isabelle2005_library.tar.gz) = 29778664 +MD5 (Isabelle2005_pdf.tar.gz) = ba3a1faa32d585e1d9d21e411452907b +SIZE (Isabelle2005_pdf.tar.gz) = 4628889 |
