Mon, 02 Dec 2024 16:21:13 UTC | login

Information for build ocaml-mccs-1.1-8.8.fc29

ID43315
Package Nameocaml-mccs
Version1.1
Release8.8.fc29
Epoch
SummaryMulti Criteria CUDF Solver with OCaml bindings
Descriptionmccs (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 jbuilder. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
Built bydavidlt
State complete
Volume DEFAULT
StartedTue, 12 Jun 2018 06:18:03 UTC
CompletedTue, 12 Jun 2018 07:01:19 UTC
Taskbuild (f29-candidate, ocaml-mccs-1.1-8.8.fc29.src.rpm)
Tags
f29
RPMs
src
ocaml-mccs-1.1-8.8.fc29.src.rpm (info) (download)
riscv64
ocaml-mccs-1.1-8.8.fc29.riscv64.rpm (info) (download)
ocaml-mccs-devel-1.1-8.8.fc29.riscv64.rpm (info) (download)
ocaml-mccs-debuginfo-1.1-8.8.fc29.riscv64.rpm (info) (download)
ocaml-mccs-debugsource-1.1-8.8.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Jun 06 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-8.8 - Updated to latest upstream release (rhbz#1584456). * Mon May 21 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-7.7 - Update to latest upstream release (rhbz#1577188). * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-6.5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Tue Jan 30 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-5.5 - Updated to latest upstream release (#1512145). * Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-4.4 - OCaml 4.06.0 rebuild. * Sat Nov 25 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1.3-4 - Update to latest upstream release (#1512145). * Sun Oct 22 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1-2.3b - Update to latest upstream release. * Sat Sep 02 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1-1.2c - Initial package.