sci-mathematics/coq
Coq/Rocq is a proof assistant written in O'Caml
Runtime Dependencies
coq-9.0.0
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
coq-8.20.0-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
coq-8.19.2-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
coq-8.17.1-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=