mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
34 lines
459 B
Plaintext
34 lines
459 B
Plaintext
opam-version: "2.0"
|
|
name: "spark"
|
|
version: "1.0"
|
|
synopsis: "SPARK OCaml dependencies"
|
|
maintainer: "the Adacore team"
|
|
authors: "Adacore"
|
|
build: [
|
|
[ "true" ]
|
|
]
|
|
install: [
|
|
[ "true" ]
|
|
]
|
|
depends: [
|
|
"camlzip"
|
|
"coq" { = "8.11.2" }
|
|
"dune"
|
|
"coq-flocq" { = "3.4.0" }
|
|
"fmt"
|
|
"gen"
|
|
"menhir"
|
|
"merlin"
|
|
"ocamlgraph"
|
|
"ocplib-simplex"
|
|
"parsexp"
|
|
"ppx_deriving"
|
|
"ppx_sexp_conv"
|
|
"psmt2-frontend"
|
|
"seq"
|
|
"spelll"
|
|
"uutf"
|
|
"yojson"
|
|
"zarith"
|
|
]
|