ocaml-mccs-1.1-50.17.fc41 | Build Info

Information for build ocaml-mccs-1.1-50.17.fc41

308392

Package Name

ocaml-mccs

Version

1.1

Release

50.17.fc41

Epoch

Source

git+https://src.fedoraproject.org/rpms/ocaml-mccs.git#81b5b6b284b943f5b21ca924edd828087c85aca8

Summary

Multi Criteria CUDF Solver with OCaml bindings

Description

mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 04 Jun 2024 16:26:07 UTC

Completed

Tue, 04 Jun 2024 16:51:32 UTC

Task

build (f41, /rpms/ocaml-mccs.git:81b5b6b284b943f5b21ca924edd828087c85aca8)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-mccs.git#81b5b6b284b943f5b21ca924edd828087c85aca8'}}

Tags

f41

RPMs

src
	ocaml-mccs-1.1-50.17.fc41.src.rpm (info) (download)
riscv64
	ocaml-mccs-1.1-50.17.fc41.riscv64.rpm (info) (download)
	ocaml-mccs-devel-1.1-50.17.fc41.riscv64.rpm (info) (download)
	ocaml-mccs-debuginfo-1.1-50.17.fc41.riscv64.rpm (info) (download)
	ocaml-mccs-debugsource-1.1-50.17.fc41.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	root.log
	hw_info.log
	build.log
	mock_output.log

Changelog

* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 1.1-50.17 - OCaml 5.2.0 for Fedora 41 * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-49.17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-48.17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Richard W.M. Jones <rjones@redhat.com> - 1.1-47.17 - New upstream version 1.1+17 (RHBZ#2255456) * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-46.16 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-45.16 - Bump release and rebuild * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-44.16 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-43.16 - OCaml 5.1 rebuild for Fedora 40 * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-42.16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-41.16 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.1-40.16 - New version 1.1+16 - Use new dune macros - Add a %check script * Wed Feb 15 2023 Jerry James <loganjerry@gmail.com> - 1.1-40.14 - Convert License tag to SPDX * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.1-40.14 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-39.14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-38.14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.1-37.14 - OCaml 4.14.0 rebuild

Main Site Links:

Information for build ocaml-mccs-1.1-50.17.fc41