@palmskog I made the 1.3.1 release for Coq 8.10, 8.11, 8.12 and 8.13. Could you create the right opam packages and make sure they end up in the right remote repository? BTW, if you're no longer up to maintaining the opam packages and/or travis CI for CoqHammer, let me know and I'll learn to do this myself (at some point).
@palmskog I made the 1.3.1 release for Coq 8.10, 8.11, 8.12 and 8.13. Could you create the right opam packages and make sure they end up in the right remote repository? BTW, if you're no longer up to maintaining the opam packages and/or travis CI for CoqHammer, let me know and I'll learn to do this myself (at some point).