coq-libvalidsdp

LibValidSDP

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