début

opam

+opam-version: "2.0"
+synopsis: "Numerical Analysis in Coq"
+name: "coq-num-analysis"
+version: "1.0"
+maintainer: "MILC project <milc@inria.fr>"
+authors: "[ "Sylvie Boldo" "François Clément" "Vincent Martin" "Micaela Mayero" "Florian Faissole" "Houda" "Louise" "Stéphane"]"
+homepage: "https://lipn.univ-paris13.fr/coq-num-analysis/-/tree/Tonelli.1.0"
+bug-reports: "https://lipn.univ-paris13.fr/coq-num-analysis/-/tree/Tonelli.1.0/issues"
+license: "LGPL-3.0-or-later"
+tags: [ "keyword:real analysis" "keyword:Lax Milgram" "keyword:Lebesgue" ]
+build: [
+  make
+]
+install: [
+  make  "install"
+]
+remove: [
+  make  "uninstall"
+]
+depends: [
+  "ocaml" { >= "4.08" }
+  "coq" {>= "8.14.0" & < "8.16"}
+  "coq-mathcomp-ssreflect" {>= "1.12" & < "1.15"}
+  "coq-coquelicot" {}
+  "coq-flocq" {}
+]
\ No newline at end of file