%undefine _package_note_flags %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif Name: ocaml-ptmap Version: 2.0.5 Release: 9%{?dist} Summary: Maps over integers implemented as Patricia trees License: LGPLv2 with exceptions URL: https://github.com/backtracking/ptmap Source0: %{url}/releases/download/%{version}/ptmap-%{version}.tbz # Fedora does not need the seq and stdlib-shims forward compatibility modules Patch0: %{name}-compat.patch BuildRequires: ocaml BuildRequires: ocaml-dune >= 2.0.0 %description OCaml implementation of an efficient maps over integers, from a paper by Chris Okasaki. %package devel Summary: Development files for %{name} Requires: %{name}%{?_isa} = %{version}-%{release} %description devel The %{name}-devel package contains libraries and signature files for developing applications that use %{name}. %prep %autosetup -p1 -n ptmap-%{version} %build %dune_build %install %dune_install %check %dune_check %files -f .ofiles %doc CHANGES.md README.md %license COPYING LICENSE %files devel -f .ofiles-devel %changelog * Fri Jul 22 2022 Fedora Release Engineering - 2.0.5-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James - 2.0.5-8 - Eliminate the need for seq - Use new OCaml macros * Sun Jun 19 2022 Richard W.M. Jones - 2.0.5-8 - OCaml 4.14.0 rebuild * Fri Feb 04 2022 Richard W.M. Jones - 2.0.5-7 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering - 2.0.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 04 2021 Richard W.M. Jones - 2.0.5-5 - OCaml 4.13.1 build * Thu Jul 22 2021 Fedora Release Engineering - 2.0.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jul 19 2021 Jerry James - 2.0.5-3 - There is no circular dependency so always build docs * Mon Mar 1 16:57:55 GMT 2021 Richard W.M. Jones - 2.0.5-3 - OCaml 4.12.0 build - Make ocaml-odoc dependency conditional. * Tue Jan 26 2021 Fedora Release Engineering - 2.0.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Dec 29 2020 Jerry James - 2.0.5-1 - Version 2.0.5 - License is LGPLv2, not LGPLv2+ - Drop upstreamed filter_map patch - Building and testing are now done with dune - Documentation is now generated with odoc * Tue Sep 01 2020 Richard W.M. Jones - 2.0.4-15 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones - 2.0.4-14 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering - 2.0.4-13 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering - 2.0.4-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue May 05 2020 Richard W.M. Jones - 2.0.4-11 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Wed Apr 22 2020 Richard W.M. Jones - 2.0.4-10 - OCaml 4.11.0 pre-release attempt 2 * Sat Apr 04 2020 Richard W.M. Jones - 2.0.4-9 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones - 2.0.4-8 - OCaml 4.10.0 final. * Wed Feb 19 2020 Jerry James - 2.0.4-7 - Rebuild for ocaml-qcheck 0.13. - Remove unnecessary ounit BR. * Wed Jan 29 2020 Fedora Release Engineering - 2.0.4-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sat Dec 28 2019 Andy Li - 2.0.4-5 - Rebuild against the latest ocaml package. * Fri Aug 09 2019 Andy Li - 2.0.4-4 - Disabled testing due to obuild incompatible with recent qcheck changes. * Thu Jul 25 2019 Fedora Release Engineering - 2.0.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering - 2.0.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Aug 01 2018 Andy Li - 2.0.4-1 - New upstream version (RHBZ#1610325). - Fix OCaml 4.07 compatibility (RHBZ#1605283). - Remove patch, which was merged in upstream. * Fri Jul 13 2018 Fedora Release Engineering - 2.0.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Thu Feb 08 2018 Fedora Release Engineering - 2.0.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Dec 22 2017 Andy Li - 2.0.3-1 - Initial RPM release.