Commitaf4826d

committed

1 parentce9fe0b commitaf4826dCopy full SHA for af4826d

File tree

-1

lines changed

-1

lines changed

Lines changed: 4 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ addons:`
`11`	`11`	`-hvr-ghc`
`12`	`12`	`packages:`
`13`	`13`	`-libgmp3-dev`
`14`		`- -ghc-8.2.1`
	`14`	`+ -ghc-8.2.2`
`15`	`15`	`-cabal-install-head`
`16`	`16`
`17`	`17`	`install:`
`@@ -21,8 +21,11 @@ install:`
`21`	`21`	`-cabal new-install idris --dependencies-only`
`22`	`22`	`-travis_wait 30 cabal new-install idris`
`23`	`23`	`-git clone https://github.com/pheymann/specdris`
	`24`	`+-git clone https://github.com/vmchale/comonad`
`24`	`25`	`-cd specdris/`
`25`	`26`	`-idris --install specdris.ipkg`
	`27`	`+-cd ../comonad/`
	`28`	`+-idris --install comonad.ipkg`
`26`	`29`
`27`	`30`	`script:`
`28`	`31`	`-cd ../`

Comments

(0)