Stream: math-comp devs

Topic: Opam install of algebra-tactics


view this post on Zulip Florent Hivert (Jun 13 2021 at 15:16):

It is maybe a known bug but the intruction from README doesn't work for me:

$ opam install coq-mathcomp-algebra-tactics                    
[ERROR] No package named coq-mathcomp-algebra-tactics found.

view this post on Zulip Kazuhiko Sakaguchi (Jun 13 2021 at 15:46):

Sorry, there is no released version yet because it is too experimental. You have to git-clone and then type opam install . to install it. I should probably fix README.

view this post on Zulip Kazuhiko Sakaguchi (Oct 04 2021 at 04:12):

@Florent Hivert Hi. Algebra Tactics are now available on the OPAM archive for Coq. Sorry for the delay.

view this post on Zulip Florent Hivert (Oct 04 2021 at 10:15):

Excellent ! Thanks for the ping ! :smile:


Last updated: Aug 11 2022 at 02:03 UTC