rpms/why3
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

BR ocaml-num

Browse source
This commit is contained in:
Richard W.M. Jones 2017-11-17 22:23:01 +00:00
commit f35eafb60f
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
why3.spec
View file

@ -31,6 +31,7 @@ BuildRequires: ocaml-lablgtk-devel
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-ocamlgraph-devel
BuildRequires: ocaml-menhir-devel
BuildRequires: ocaml-num-devel
BuildRequires: ocaml-sqlite-devel
BuildRequires: ocaml-zarith-devel
BuildRequires: ocaml-zip-devel