coq-validsdp

ValidSDP

opam install coq-validsdp.0.7.0
homepage
https://sourcesup.renater.fr/validsdp/
license
LGPL-2.1-or-later
bugs tracker
https://github.com/validsdp/validsdp/issues
dependencies
"ocaml" "coq" {>= "8.7" & < "8.12~"} "coq-bignums" "coq-flocq" {>= "3.1.0"} "coq-interval" {>= "3.4.0" & < "4~"} "coq-mathcomp-field" {>= "1.8" & < "1.11~"} "coq-libvalidsdp" {= "0.7.0"} "coq-mathcomp-multinomials" {>= "1.2"} "coq-coqeal" {>= "1.0.0"} "coq-paramcoq" {>= "1.1.0"} "osdp" {>= "1.0"} "ocamlfind" {build} "conf-autoconf" {build}
source
https://github.com/validsdp/validsdp/releases/download/v0.7.0/validsdp-0.7.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-validsdp/coq-validsdp.0.7.0