[Bug 231443] lang/maude: update to 2.7.1, add CVC4 option

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=231443

            Bug ID: 231443
           Summary: lang/maude: update to 2.7.1, add CVC4 option
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs at FreeBSD.org
          Reporter: greg at unrelenting.technology

Created attachment 197187
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=197187&action=edit
maude-2.7.1.patch

- updated to 2.7.1
- added CVC4 support option and enabled by default
- removed old patches that don't apply anymore
- unbroken on aarch64, sbrk is not used anymore
- removed build date to make the build reproducible
- I can become the maintainer :)

-- 
You are receiving this mail because:
You are the assignee for the bug.