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 /www/iridium/files/patch-tools_grit_grit_node_base.py | |
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 'www/iridium/files/patch-tools_grit_grit_node_base.py')
0 files changed, 0 insertions, 0 deletions