virtuoso-7: update to 7.2.5

macports · Aug 20, 2018 · e737d4a · e737d4a
1 parent 42e16f4
commit e737d4a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/devel/virtuoso-7/Portfile b/devel/virtuoso-7/Portfile
@@ -4,8 +4,7 @@ PortSystem          1.0
 
 name                virtuoso-7
 set myname          virtuoso
-version             7.2.4.2
-revision            4
+version             7.2.5
 categories          devel
 maintainers         {snc @nerdling} openmaintainer
 license             GPL
@@ -17,8 +16,9 @@ homepage            http://${myname}.openlinksw.com/dataspace/dav/wiki/Main/
 master_sites        sourceforge:project/${myname}/${myname}/${version}
 distname            ${myname}-opensource-${version}
 
-checksums           rmd160  b4e432642b06dd6f6adc0d345528d75fdd3a265c \
-                    sha256  028075d3cf1970dbb9b79f660c833771de8be5be7403b9001d6907f64255b889
+checksums           rmd160  be53878442f9e98f01057bfcf42ee8a843e741ab \
+                    sha256  826477d25a8493a68064919873fb4da4823ebe09537c04ff4d26ba49d9543d64 \
+                    size    120299376
 
 supported_archs     x86_64
 conflicts           virtuoso-6