Page MenuHomeFreeBSD

math/cvc4: improve post-patch target
ClosedPublic

Authored by fernape on Aug 6 2019, 3:39 PM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Oct 16, 5:43 PM
Unknown Object (File)
Thu, Oct 2, 11:55 AM
Unknown Object (File)
Wed, Oct 1, 10:00 PM
Unknown Object (File)
Fri, Sep 26, 5:26 PM
Unknown Object (File)
Fri, Sep 19, 7:27 PM
Unknown Object (File)
Fri, Sep 19, 4:28 PM
Unknown Object (File)
Fri, Sep 19, 8:52 AM
Unknown Object (File)
Sep 17 2025, 4:32 AM
Subscribers

Details

Summary
  • Bump PORTREVISION
  • Unbreak lang/maude and lang/solidity
Test Plan

All three build fine in {11.2,12.0}{amd64,i386}

Diff Detail

Repository
rP FreeBSD ports repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

fernape retitled this revision from math/cvc4: improve post-patch target * Bump PORTREVISION * Unbreak lang/maude and lang/solidity to math/cvc4: improve post-patch target.Aug 6 2019, 4:04 PM
fernape edited the summary of this revision. (Show Details)
This revision is now accepted and ready to land.Aug 6 2019, 4:56 PM
This revision was automatically updated to reflect the committed changes.