Commit300c642

committed

readme updated w/ maturity

1 parent1093050 commit300c642Copy full SHA for 300c642

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ before_install:`
`19`	`19`	`-export PATH=$HOME/.cabal/bin:$PATH`
`20`	`20`	`-cabal update`
`21`	`21`	`-cabal install idris --dependencies-only`
`22`		`--travis_wait cabal install idris`
	`22`	`+-travis_wait cabalnew-install idris`
`23`	`23`	`-git clone https://github.com/pheymann/specdris`
`24`	`24`	`-cd specdris/`
`25`	`25`	`-idris --install specdris.ipkg`

Comments

(0)