Deprecation of `ENV.j1` in favor of `ENV.deparallelize` - Githubissues

mht208 / homebrew-formal

Homebrew formulae for formal methods

36 stars 10 forks source link

Deprecation of `ENV.j1` in favor of `ENV.deparallelize` #21

Open wenkokke opened 4 years ago

wenkokke commented 4 years ago

This affects (at least) the formula for zchaff.