Ticket #41483: Portfile-logtalk-devel.diff

Portfile

@@ -3 +3 @@
 PortSystem      1.0
 name            logtalk-devel
 conflicts       logtalk
-version     3.00.0-a30
+version     3.00.0-a31
 
 categories      lang
 maintainers     logtalk.org:pmoura
@@ -24 +24 @@
 
 fetch.type      git
 git.url         git://github.com/LogtalkDotOrg/logtalk3.git
-git.branch      fae75c7714a616191ce159de930b02a33298dd75
+git.branch      4f232845ed3a8c4eb4c27e67ca732dd793139f8e
 
 distname                logtalk-${version}