Update homebrew formula for IKOS 3.4 - Githubissues

NASA-SW-VnV / homebrew-core

Homebrew formulae from NASA - Software Verification and Validation

5 stars 3 forks source link

Update homebrew formula for IKOS 3.4 #18

Closed ivanperez-keera closed 2 months ago

ivanperez-keera commented 2 months ago

IKOS 3.4 has been released. Update the brew formula accordingly.