diff options
Diffstat (limited to 'lang/ghc5-doc/distinfo')
| -rw-r--r-- | lang/ghc5-doc/distinfo | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/lang/ghc5-doc/distinfo b/lang/ghc5-doc/distinfo deleted file mode 100644 index 310710868cd4..000000000000 --- a/lang/ghc5-doc/distinfo +++ /dev/null @@ -1,16 +0,0 @@ -MD5 (ghc/building.html.tar.gz) = a752b0bed3562c6c87a2ea41b4bb5f54 -SIZE (ghc/building.html.tar.gz) = 50141 -MD5 (ghc/building.ps.gz) = 9047aac4a67e3c5cfd279404647bfc38 -SIZE (ghc/building.ps.gz) = 65447 -MD5 (ghc/hslibs.html.tar.gz) = 63a18e3b034c4551d3e62b5f19487310 -SIZE (ghc/hslibs.html.tar.gz) = 38264 -MD5 (ghc/hslibs.ps.gz) = ac76efccb991ed0b04c70947a52e3e37 -SIZE (ghc/hslibs.ps.gz) = 48383 -MD5 (ghc/libraries.html.tar.gz) = 3d2a67b26c243432bbfad1730c77ebd1 -SIZE (ghc/libraries.html.tar.gz) = 293013 -MD5 (ghc/users_guide.html.tar.gz) = e7300663c1d51a5f83aa401b9df2c2a3 -SIZE (ghc/users_guide.html.tar.gz) = 171956 -MD5 (ghc/users_guide.ps.gz) = 99e523025c8a996821f3eb987e05091b -SIZE (ghc/users_guide.ps.gz) = 240590 -MD5 (ghc/index.html) = 13611216e6e3a75042a9ca34a7927beb -SIZE (ghc/index.html) = 3432 |