search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 644 forks source link

update test/pkg010/ to follow changes in idris --help output #4904

Closed attila-lendvai closed 2 years ago

attila-lendvai commented 3 years ago

i'm not sure about this one. when building on Guix, this test fails the entire build due to a differently formatted --help output.

maybe it's due to being built with a different version of one of the dependencies?