coq.8.6
4.07.0+24fac73
uninst
compiler.4.07.0+24fac73 coq.8.6
4.07.0+pr2051
uninst
compiler.4.07.0+pr2051 coq.8.6