gdritter repos void-extra-packages / master srcpkgs / idris / files / stack.yaml
master

Tree @master (Download .tar.gz)

History of srcpkgs / idris / files / stack.yaml @master git clone https://git.gdritter.com/void-extra-packages/