Skip to content

Commit

Permalink
Update travis for 8.12.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@mattam82
mattam82 committed Jul 30, 2020
1 parent 3af7f30 commit 8370110
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ env:
- CAMLP5_VER="7.06"
- FINDLIB_VER="1.8.0"
- NATIVE_COMP="yes"
- COQ_VER="8.12.dev"
- COQ_VER="8.12.0"
- HOTT_VER="dev"

install:
Expand Down

0 comments on commit 8370110

Please sign in to comment.