search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

verit #8

Closed junkil-park closed 9 years ago

junkil-park commented 9 years ago

There is an issue when installing verit

brew install verit ==> Installing verit from mht208/homebrew-formal ==> Downloading http://www.verit-solver.org/distrib/veriT-201107.tar.gz

curl: (22) The requested URL returned error: 404 Not Found Error: Failed to download resource "verit" Download failed: http://www.verit-solver.org/distrib/veriT-201107.tar.gz

mht208 commented 9 years ago

I updated veriT to version 201410. Please check if the new version works for you.

junkil-park commented 9 years ago

It works well. Thank you.