Fri, 17 May 2024 09:21:56 UTC | login

Information for build ocaml-mccs-1.1-17.10.fc31

ID122691
Package Nameocaml-mccs
Version1.1
Release17.10.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-mccs.git#5ebf7d2e321527770d2f9e7241ca10558279229a
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
StartedThu, 15 Aug 2019 05:53:23 UTC
CompletedThu, 15 Aug 2019 07:05:05 UTC
Taskbuild (f31-candidate, /rpms/ocaml-mccs.git:5ebf7d2e321527770d2f9e7241ca10558279229a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-mccs.git#5ebf7d2e321527770d2f9e7241ca10558279229a'}}
Tags
f31
f32
f33
RPMs
src
ocaml-mccs-1.1-17.10.fc31.src.rpm (info) (download)
riscv64
ocaml-mccs-1.1-17.10.fc31.riscv64.rpm (info) (download)
ocaml-mccs-devel-1.1-17.10.fc31.riscv64.rpm (info) (download)
ocaml-mccs-debuginfo-1.1-17.10.fc31.riscv64.rpm (info) (download)
ocaml-mccs-debugsource-1.1-17.10.fc31.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.1-17.10 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-16.10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jul 18 2019 Ben Rosser <rosser.bjr@gmail.com> - 1.1-15.10 - Updated to latest upstream release (rhbz#1724723). * Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 1.1-14.8 - OCaml 4.08.0 (final) rebuild. * Tue Apr 30 2019 Richard W.M. Jones <rjones@redhat.com> - 1.1-13.8 - OCaml 4.08.0 (beta 3) rebuild. * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-12.8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-11.8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-10.8 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-9.8 - OCaml 4.07.0-rc1 rebuild. * 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.