Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

bump ansi-wl-pprint and optparse-applicative#4927

Draft
juhp wants to merge 1 commit into
idris-lang:masterfrom
juhp:patch-5
Draft

bump ansi-wl-pprint and optparse-applicative#4927
juhp wants to merge 1 commit into
idris-lang:masterfrom
juhp:patch-5

Commits

Commits on Aug 2, 2024