Broken dependencies: frama-c

2011-01-11 Thread buildsys
frama-c has broken dependencies in the rawhide tree: On x86_64: frama-c-1.5-1.fc14.x86_64 requires ocaml(Obj) = 0:57b3fe2fcfe45ee25709b8ae556264d1 frama-c-1.5-1.fc14.x86_64 requires ocaml(Set) = 0:c4be5d24d30c129dd60d2739e54db7dd frama-c-1.5-1.fc14.x86_64 requires

Broken dependencies: frama-c

2011-01-11 Thread buildsys
frama-c has broken dependencies in the rawhide tree: On x86_64: frama-c-1.5-1.fc14.x86_64 requires ocaml(GButton) = 0:8d9dd9c2697376f4a7f8a60827611ba3 frama-c-1.5-1.fc14.x86_64 requires ocaml(Obj) = 0:57b3fe2fcfe45ee25709b8ae556264d1 frama-c-1.5-1.fc14.x86_64 requires

Broken dependencies: frama-c

2011-01-11 Thread buildsys
frama-c has broken dependencies in the rawhide tree: On x86_64: frama-c-1.5-1.fc14.x86_64 requires ocaml(GButton) = 0:8d9dd9c2697376f4a7f8a60827611ba3 frama-c-1.5-1.fc14.x86_64 requires ocaml(Obj) = 0:57b3fe2fcfe45ee25709b8ae556264d1 frama-c-1.5-1.fc14.x86_64 requires

Broken dependencies: frama-c

2011-01-11 Thread buildsys
frama-c has broken dependencies in the rawhide tree: On x86_64: frama-c-1.5-1.fc14.x86_64 requires ocaml(GButton) = 0:8d9dd9c2697376f4a7f8a60827611ba3 frama-c-1.5-1.fc14.x86_64 requires ocaml(Obj) = 0:57b3fe2fcfe45ee25709b8ae556264d1 frama-c-1.5-1.fc14.x86_64 requires