Page MenuHomeFreeBSD
Differential D52658

math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
ClosedPublic
Actions

Authored by alven on Sep 21 2025, 1:56 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sun, May 17, 1:53 AM
Unknown Object (File)
Sun, May 17, 1:52 AM
Unknown Object (File)
Sun, May 17, 1:43 AM
Unknown Object (File)
Wed, Apr 29, 12:09 PM
Unknown Object (File)
Apr 18 2026, 8:03 AM
Unknown Object (File)
Apr 16 2026, 8:40 PM
Unknown Object (File)
Apr 15 2026, 10:20 PM
Unknown Object (File)
Apr 15 2026, 4:58 PM
View All 53 Files
Subscribers
None

Details

Reviewers
db
yuri
Commits
R11:364ccd859655: math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
Summary

Changelogs:

  • Switch MASTER_SITES to Github as upstream official site doesn't

contain tarball for 2.7.0
+ Add second WWW for source code repository

Test Plan

For every {amd64, i386} × {14.3, 13.5}:

  • Successful poudriere testport

Diff Detail

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

Event Timeline

alven requested review of this revision.Sep 21 2025, 1:56 PM
alven created this revision.
Harbormaster completed remote builds in B67222: Diff 162522.Sep 21 2025, 1:56 PM
yuri accepted this revision.Sep 21 2025, 3:37 PM

Approved.

Thanks,
Yuri

This revision is now accepted and ready to land.Sep 21 2025, 3:37 PM
Closed by commit R11:364ccd859655: math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE (authored by alven). · Explain WhySep 21 2025, 5:48 PM
This revision was automatically updated to reflect the committed changes.
alven added a commit: R11:364ccd859655: math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE.

Revision Contents
Changeset List

PathSize
math/
yices/
21 lines
6 lines
2 lines

Diff 162541

View Options

math/yices/Makefile

Loading...
View Options

math/yices/distinfo

Loading...
View Options

math/yices/pkg-plist

Loading...