git.annexia.org
/
goaljobs-goals.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
aa075fc
)
Add virt-dmesg.
author
Richard W.M. Jones
<rjones@redhat.com>
Tue, 19 Aug 2014 07:56:50 +0000
(08:56 +0100)
committer
Richard W.M. Jones
<rjones@redhat.com>
Tue, 19 Aug 2014 07:56:50 +0000
(08:56 +0100)
fedora_ocaml_rebuild.ml
patch
|
blob
|
history
diff --git
a/fedora_ocaml_rebuild.ml
b/fedora_ocaml_rebuild.ml
index
6e3925c
..
39e95e7
100644
(file)
--- a/
fedora_ocaml_rebuild.ml
+++ b/
fedora_ocaml_rebuild.ml
@@
-47,7
+47,8
@@
let source_packages =
"cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex";
"js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen";
"flocq" (* no OCaml code, but needs to be rebuilt after Coq *);
- "guestfs-browser" ]
+ "guestfs-browser";
+ "virt-dmesg" ]
(* Dependencies of each package. (pkg, [deps ...]) *)
let pkg_deps = dependencies branch source_packages