Home
FreeBSD
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
FreeBSD ports repository
rP498542
devel/ikos: Update 2.1-104 -> 2.1-129
rP498542
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Subscribe
Mute Notifications
Flag For Later
Award Token
Tags
None
Referenced Files
None
Subscribers
None
Description
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80.
Details
Provenance
yuri
Authored on
Parents
rP498541: devel/py-javaproperties: Update to 0.5.2
Branches
Unknown
Tags
Unknown
Event Timeline
yuri
committed
rP498542: devel/ikos: Update 2.1-104 -> 2.1-129
.
Apr 10 2019, 8:12 AM
2019-04-10 08:12:58 (UTC+0)