Mon, 29 Apr 2024 00:58:47 UTC | login

Information for build ocaml-facile-1.1-45.fc28

ID10585
Package Nameocaml-facile
Version1.1
Release45.fc28
Epoch
SummaryOCaml library for constraint programming
DescriptionFaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints (difference, cardinality, sorting etc.) and search and optimization goals. FaCiLe allows as well to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user. As FaCiLe is an OCaml library and not "yet another language", the user benefits from type inference and strong typing discipline, high level of abstraction, modules and objects system, as well as native code compilation efficiency, garbage collection and replay debugger, all features of OCaml (among many others) that allow to prototype and experiment quickly: modeling, data processing and interface are implemented with the same powerful and efficient language.
Built bykojiadmin
State complete
Volume DEFAULT
StartedSat, 14 Apr 2018 20:15:24 UTC
CompletedSat, 14 Apr 2018 20:15:24 UTC
Tags
f28
f29
RPMs
src
ocaml-facile-1.1-45.fc28.src.rpm (info) (download)
riscv64
ocaml-facile-1.1-45.fc28.riscv64.rpm (info) (download)
ocaml-facile-devel-1.1-45.fc28.riscv64.rpm (info) (download)
Changelog * Sat Nov 18 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-45 - OCaml 4.06.0 rebuild. * Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-44 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-43 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-42 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-41 - OCaml 4.04.2 rebuild. * Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-40 - OCaml 4.04.1 rebuild. * Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-39 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.1-38 - Rebuild for OCaml 4.04.0. * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-36 - OCaml 4.02.3 rebuild. * Tue Jul 21 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-35 - Enable bytecode compilation. * Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-34 - ocaml-4.02.2 final rebuild. * Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-33 - ocaml-4.02.2 rebuild. * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-32 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-31 - ocaml-4.02.1 rebuild. * Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 1.1-30 - ocaml-4.02.0 final rebuild. * Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.1-29 - ocaml-4.02.0+rc1 rebuild. * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.1-27 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Mon Jul 21 2014 Richard W.M. Jones <rjones@redhat.com> - 1.1-26 - OCaml 4.02.0 beta rebuild. * Mon Jul 21 2014 Rex Dieter <rdieter@fedoraproject.org> 1.1-25 - rebuild (ocaml 4.02.0, #1121640) * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 1.1-23 - Remove ocaml_arches macro (RHBZ#1087794). * Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 1.1-22 - Rebuild for OCaml 4.01.0. - Modernize the spec file. * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Sun Oct 28 2012 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-19 - Rebuild for OCaml 4.00.1. * Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Sun Jun 10 2012 Richard W.M. Jones <rjones@redhat.com> - 1.1-17 - Rebuild for OCaml 4.00.0. - Add a patch for OCaml 4.00.0 (change in Hashtbl signature). - Move configure into build section. * Sat Jan 07 2012 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-15 - Rebuild for OCaml 3.12.1 - Drop obsolete conditionals - Use ocaml_arches macro instead of hardcoded ExcludeArch * Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Wed Jan 05 2011 Richard W.M. Jones <rjones@redhat.com> - 1.1-13 - Rebuild for OCaml 3.12 (http://fedoraproject.org/wiki/Features/OCaml3.12). * Wed Dec 30 2009 Richard W.M. Jones <rjones@redhat.com> - 1.1-12 - Rebuild for OCaml 3.11.2. * Thu Dec 17 2009 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-11 - Use RPM's builtin OCaml dependency generator on F13+ * Sat Jul 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Fri May 22 2009 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-9 - Rebuild for new OCaml (3.11.1 rc0) * Thu Apr 16 2009 S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org> - ExcludeArch sparc64, s390, s390x as we don't have OCaml on those archs (added sparc64 per request from the sparc maintainer) * Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Wed Nov 26 2008 Richard W.M. Jones <rjones@redhat.com> - 1.1-7 - Rebuild for OCaml 3.11.0+rc1. * Tue Nov 25 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-6 - rebuild for new ocaml (3.11.0 beta1) * Thu Aug 28 2008 Richard W.M. Jones <rjones@redhat.com> - 1.1-5 - Rebuild with patch fuzz. - No need to create $RPM_BUILD_ROOT. * Wed Apr 23 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-3 - rebuild for new ocaml (3.10.2) * Fri Mar 21 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-2.1 - ExcludeArch: ppc64 on Fedora < 9 (no ocaml, #438562) * Wed Mar 19 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-2 - use correct syntax for French description * Wed Mar 19 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-1 - initial Fedora package