Closed mitchellwrosen closed 5 years ago
Hello, could you please push a 1.3.0.1 tag? Currently this default from cabal-to-dhall 404s: https://raw.githubusercontent.com/dhall-lang/dhall-to-cabal/1.3.0.1/dhall/prelude.dhall
1.3.0.1
cabal-to-dhall
Tag pushed, sorry I missed this!
Hello, could you please push a
1.3.0.1
tag? Currently this default fromcabal-to-dhall
404s: https://raw.githubusercontent.com/dhall-lang/dhall-to-cabal/1.3.0.1/dhall/prelude.dhall