Stop using repline #2643
Description
repline appears to be unmaintained, with the last release in 2022 and no response to github issues for a long time.
I suggest that dhall stop depending on repline.
{{ message }}
repline appears to be unmaintained, with the last release in 2022 and no response to github issues for a long time.
I suggest that dhall stop depending on repline.