Stream: math-comp devs

Topic: Opam install of algebra-tactics

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.

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.

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.

Florent Hivert (Oct 04 2021 at 10:15):

Excellent ! Thanks for the ping ! :smile:

Last updated: Jun 01 2023 at 11:01 UTC