what4-1.7

[jkachmar]

what4-1.7 (changelog) (Frank Dedden frank@systemf.dev @fdedden) is out of bounds for:

• copilot-theorem-4.3 (>=1.3 && < 1.7). Frank Dedden frank@systemf.dev @fdedden. Used by: library