diff options
Diffstat (limited to 'devel/lhs2TeX/distinfo')
| -rw-r--r-- | devel/lhs2TeX/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/lhs2TeX/distinfo b/devel/lhs2TeX/distinfo index 225cd7e9b256..794c871dfcf8 100644 --- a/devel/lhs2TeX/distinfo +++ b/devel/lhs2TeX/distinfo @@ -1,3 +1,3 @@ -MD5 (lhs2tex-1.12.tar.bz2) = 1bc982e96f19201aaf1c39c1d4b5e358 -SHA256 (lhs2tex-1.12.tar.bz2) = af3440b8d5dda73ad43660fa496f5e1c04a3d3105961847963d0105c69a03447 -SIZE (lhs2tex-1.12.tar.bz2) = 582250 +MD5 (lhs2tex-1.13.tar.gz) = 1173dbe6440f24918f3dc80d776e1f18 +SHA256 (lhs2tex-1.13.tar.gz) = 28282cb4afcc71785b092d358ffb33f5ec7585e50b392ae4fb6391d495a0836b +SIZE (lhs2tex-1.13.tar.gz) = 601072 |