On Mon, Apr 06, 2020 at 09:42:22AM +0100, Richard W.M. Jones wrote: > On Sun, Apr 05, 2020 at 09:08:51PM -0600, Jerry James wrote: > > Hi Richard, > > > > On Sun, Apr 5, 2020 at 3:45 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > > > https://koji.fedoraproject.org/koji/taskinfo?taskID=43032715 > > > > > > I'm not clear why this is happening. Since it's the only package that > > > hasn't rebuilt in this mass rebuild, I think I'll investigate it after > > > folding the side tag into Rawhide, which should happen later today. > > > > In a fit of good timing, new versions of flocq and gappalib-coq have > > been released which bring better compatibility with coq 8.11.0, so I > > am going to want to build the frama-c - gappalib-coq - why3 - frama-c > > sequence tomorrow anyway. I can check into this in the morning and do > > the necessary builds. > > I think we need to wait for this update to go into Fedora: > > https://bodhi.fedoraproject.org/updates/FEDORA-2020-d120de33c5 It does seem as if you can now build against the new OCaml version. I have just rebuilt ocaml-menhir with Coq enabled. I didn't touch frama-c or alt-ergo. As an extra check that you're building against the updated OCaml / RPM combination, note that you should see extra ocamlx(...) dependencies appearing in your packages. For example: $ rpm -q --provides ocaml-sha ocaml(Sha1) = 9598808cccad0848a30e5f83c62d3f45 ocaml(Sha256) = 9ca4ee854fd94809ddaa56fc103a5270 ocaml(Sha512) = 8f5f883bc4600563d50b16c0da29b1cc ocaml-sha = 1.12-12.fc33 ocaml-sha(x86-64) = 1.12-12.fc33 ocamlx(Sha1) = 5d3cbe37cc9abd1b08c8133a62375a56 <--- ocamlx(Sha256) = b4b56fa54be87c7c32cb03d7170be57e <--- note ocamlx(Sha512) = e1558f85ea8a6ec5714470ab4c970720 <--- You can read the script here to see what it all means: https://github.com/rpm-software-management/rpm/commit/a6fe37c39b39acbcbd014dd1e6d5653ff84254a1 Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into KVM guests. http://libguestfs.org/virt-v2v _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
