HomeFreeBSD
Diffusion FreeBSD ports repository rP487278

- Update to 2.7.1
rP487278
Actions

Description

  • Update to 2.7.1
  • Add CVC4 support option and enabled by default
  • Unbreak on aarch64, sbrk is not used anymore
  • Remove build date to make the build reproducible
  • Pass maintainership to submitter
  • Pet portlint -abct

PR: 231443
Submitted by: Greg V <greg@unrelenting.technology>

Details

Provenance
lwhsuAuthored on
Parents
rP487277: net-im/py-slackclient: Update to 1.3.0 [1]
Branches
Unknown
Tags
Unknown

Changes (21)

PathSize
head/
lang/
maude/
files/

rP487278

View Options

head/lang/maude/Makefile

Loading...
View Options

head/lang/maude/distinfo

Loading...
View Options

head/lang/maude/files/patch-Mixfix-lexerAux

Loading...
View Options

head/lang/maude/files/patch-src_Core_dagNodeSet.hh

Loading...
View Options

head/lang/maude/files/patch-src_Core_termSet.hh

Loading...
View Options

head/lang/maude/files/patch-src_Meta_metaMatch.cc

Loading...
View Options

head/lang/maude/files/patch-src_Mixfix_banner.cc

Loading...
View Options

head/lang/maude/files/patch-src_Mixfix_variableGenerator.cc

Loading...
View Options

head/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc

Loading...
View Options

head/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__bottom.yy

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__commands.yy

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__interact.cc

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__modules.yy

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__token.cc

Loading...
View Options

head/lang/maude/files/patch-src__Mixfix__top.yy

Loading...
View Options

head/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh

Loading...
View Options

head/lang/maude/files/patch-src__ObjectSystem__objectMap.cc

Loading...
View Options

head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh

Loading...
View Options

head/lang/maude/files/patch-src__Utility__ropeStuff.hh

Loading...
View Options

head/lang/maude/pkg-plist

Loading...