Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.
http://copilot-language.github.io
635 stars 50 forks source link

`copilot`: Relax version constraint on `optparse-applicative`. Refs #488. #489

Closed ivanperez-keera closed 8 months ago

ivanperez-keera commented 8 months ago

Extend range of versions of optparse-applicative supported, as prescribed in the solution proposed for #488.

ivanperez-keera commented 8 months ago

Change Manager: Verified that: