diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2006-08-08 11:20:15 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2006-08-08 11:20:15 +0000 |
| commit | 9cffb3724da887a2c16d3fef876429ac81d168c3 (patch) | |
| tree | 9e0aaf31ec3ed839dc178ea56f07793d3a5e6249 | |
| parent | Use a better way to get GHC's version number. (diff) | |
- Update to 0.15.1
PR: ports/101554
Submitted by: UMENO Takashi <umeno@rr.iij4u.or.jp>
Notes
Notes:
svn path=/head/; revision=170089
| -rw-r--r-- | games/grhino/Makefile | 4 | ||||
| -rw-r--r-- | games/grhino/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/games/grhino/Makefile b/games/grhino/Makefile index 9663d7d9a676..50e853a663b9 100644 --- a/games/grhino/Makefile +++ b/games/grhino/Makefile @@ -6,8 +6,8 @@ # PORTNAME= grhino -PORTVERSION= 0.15.0 -PORTREVISION= 1 +PORTVERSION= 0.15.1 +PORTREVISION= 0 CATEGORIES= games gnome MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= rhino diff --git a/games/grhino/distinfo b/games/grhino/distinfo index 86b7de96e1c8..22e0bee08f87 100644 --- a/games/grhino/distinfo +++ b/games/grhino/distinfo @@ -1,3 +1,3 @@ -MD5 (grhino-0.15.0.tar.gz) = 9f510356c0cfafe32165a582d872655f -SHA256 (grhino-0.15.0.tar.gz) = d41c6eda49dcdbc700077b6c2c3a3df9952b62959d6062685ae26e326bd4d414 -SIZE (grhino-0.15.0.tar.gz) = 1149961 +MD5 (grhino-0.15.1.tar.gz) = 10906c86552d54bdd19e0395c33df4b2 +SHA256 (grhino-0.15.1.tar.gz) = 4478c17ef4eebd0e4b4c47f821f6115e66246571a6088b68ae91fb2baa3f0a5b +SIZE (grhino-0.15.1.tar.gz) = 1150963 |