diff options
| author | Älven <alven@FreeBSD.org> | 2025-09-21 13:57:44 +0000 |
|---|---|---|
| committer | Älven <alven@FreeBSD.org> | 2025-09-21 17:47:01 +0000 |
| commit | 364ccd8596554c83c840725219cf262e6d87fb71 (patch) | |
| tree | 5417a2487b62d9839784a51ea43d9ce16b573f9c /devel/rubygem-datadog-ci | |
| parent | 3c05ad1d2a4f802511dc5c626b12f582d7ed9f4d (diff) | |
Changelogs:
* https://yices.csl.sri.com/release-notes.html
* https://github.com/SRI-CSL/yices2/compare/Yices-2.6.5...yices-2.7.0
* Switch MASTER_SITES to Github as upstream official site doesn't
contain tarball for 2.7.0
* Add second WWW for source code repository
* Correct LICENSE and LICENSE_FILE
* Have test issue closed
https://github.com/SRI-CSL/yices2/issues/523
* Mark as PIE_UNSAFE
Approved by: yuri@ (maintainer, Mentor)
Differential Revision: https://reviews.freebsd.org/D52658
Diffstat (limited to 'devel/rubygem-datadog-ci')
0 files changed, 0 insertions, 0 deletions