From 7b616152aeb263ca94c9eb5e4793a47784efcb46056608377997d42517e6d988 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Sat, 28 Dec 2024 22:00:41 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-9.10.x package:ghc-dec revision:3, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-dec?expand=0&rev=21 --- .gitattributes | 23 ++++++++++++ .gitignore | 1 + dec-0.0.6.tar.gz | 3 ++ dec.cabal | 55 +++++++++++++++++++++++++++ ghc-dec.changes | 71 +++++++++++++++++++++++++++++++++++ ghc-dec.spec | 97 ++++++++++++++++++++++++++++++++++++++++++++++++ 6 files changed, 250 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 dec-0.0.6.tar.gz create mode 100644 dec.cabal create mode 100644 ghc-dec.changes create mode 100644 ghc-dec.spec diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..9b03811 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,23 @@ +## Default LFS +*.7z filter=lfs diff=lfs merge=lfs -text +*.bsp filter=lfs diff=lfs merge=lfs -text +*.bz2 filter=lfs diff=lfs merge=lfs -text +*.gem filter=lfs diff=lfs merge=lfs -text +*.gz filter=lfs diff=lfs merge=lfs -text +*.jar filter=lfs diff=lfs merge=lfs -text +*.lz filter=lfs diff=lfs merge=lfs -text +*.lzma filter=lfs diff=lfs merge=lfs -text +*.obscpio filter=lfs diff=lfs merge=lfs -text +*.oxt filter=lfs diff=lfs merge=lfs -text +*.pdf filter=lfs diff=lfs merge=lfs -text +*.png filter=lfs diff=lfs merge=lfs -text +*.rpm filter=lfs diff=lfs merge=lfs -text +*.tbz filter=lfs diff=lfs merge=lfs -text +*.tbz2 filter=lfs diff=lfs merge=lfs -text +*.tgz filter=lfs diff=lfs merge=lfs -text +*.ttf filter=lfs diff=lfs merge=lfs -text +*.txz filter=lfs diff=lfs merge=lfs -text +*.whl filter=lfs diff=lfs merge=lfs -text +*.xz filter=lfs diff=lfs merge=lfs -text +*.zip filter=lfs diff=lfs merge=lfs -text +*.zst filter=lfs diff=lfs merge=lfs -text diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..57affb6 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.osc diff --git a/dec-0.0.6.tar.gz b/dec-0.0.6.tar.gz new file mode 100644 index 0000000..c8acec2 --- /dev/null +++ b/dec-0.0.6.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fb153694d1c7f8b271b20c4394b05f6d66d0211df78c3649dced878567b27f2d +size 3221 diff --git a/dec.cabal b/dec.cabal new file mode 100644 index 0000000..75454d5 --- /dev/null +++ b/dec.cabal @@ -0,0 +1,55 @@ +cabal-version: >=1.10 +name: dec +version: 0.0.6 +x-revision: 1 +synopsis: Decidable propositions. +category: Data, Dependent Types +description: + This package provides a @Dec@ type. + . + @ + type Neg a = a -> Void + . + data Dec a + \ = Yes a + \ | No (Neg a) + @ + +homepage: https://github.com/phadej/dec +bug-reports: https://github.com/phadej/dec/issues +license: BSD3 +license-file: LICENSE +author: Oleg Grenrus +maintainer: Oleg.Grenrus +copyright: (c) 2019-2021 Oleg Grenrus +build-type: Simple +extra-source-files: ChangeLog.md +tested-with: + GHC ==8.6.5 + || ==8.8.4 + || ==8.10.7 + || ==9.0.2 + || ==9.2.8 + || ==9.4.8 + || ==9.6.6 + || ==9.8.4 + || ==9.10.1 + || ==9.12.1 + +source-repository head + type: git + location: https://github.com/phadej/dec.git + +library + default-language: Haskell2010 + hs-source-dirs: src + ghc-options: -Wall -fprint-explicit-kinds + exposed-modules: Data.Type.Dec + build-depends: + base >=4.12.0.0 && <4.22 + , boring >=0.2.2 && <0.3 + + if impl(ghc >=9.0) + -- these flags may abort compilation with GHC-8.10 + -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 + ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode diff --git a/ghc-dec.changes b/ghc-dec.changes new file mode 100644 index 0000000..aafe5e2 --- /dev/null +++ b/ghc-dec.changes @@ -0,0 +1,71 @@ +------------------------------------------------------------------- +Fri Dec 27 20:12:00 UTC 2024 - Peter Simons + +- Update dec to version 0.0.6 revision 1. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- +Fri May 17 15:33:11 UTC 2024 - Peter Simons + +- Update dec to version 0.0.6. + ## 0.0.6 + + - Support GHC-8.6.5...9.10.1 + +------------------------------------------------------------------- +Tue Oct 24 16:57:16 UTC 2023 - Peter Simons + +- Update dec to version 0.0.5 revision 2. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- +Thu Mar 30 17:06:34 UTC 2023 - Peter Simons + +- Updated spec file to conform with ghc-rpm-macros-2.5.2. + +------------------------------------------------------------------- +Tue Mar 14 15:17:16 UTC 2023 - Peter Simons + +- Update dec to version 0.0.5 revision 1. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- +Sun Aug 21 11:41:26 UTC 2022 - Peter Simons + +- Update dec to version 0.0.5. + ## 0.0.5 + + - Add `boringYes` and `absurdNo`. + - Add `Decidable a => Boring (Dec a)` instance. + - Add `Decidable ()`, `Decidable Void`, `Decidable (a, b)` instances. + +------------------------------------------------------------------- +Fri Dec 17 21:07:49 UTC 2021 - Peter Simons + +- Update dec to version 0.0.4 revision 1. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- +Sun Feb 21 12:48:14 UTC 2021 - psimons@suse.com + +- Update dec to version 0.0.4. + ## 0.0.4 + + - Mark module as explicitly `Safe`. + +------------------------------------------------------------------- +Thu Dec 17 12:20:00 UTC 2020 - Ondřej Súkup + +- disable %{ix86} build + +------------------------------------------------------------------- +Mon Aug 31 09:34:38 UTC 2020 - psimons@suse.com + +- Update dec to version 0.0.3 revision 2. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- +Wed Aug 26 18:14:09 UTC 2020 - psimons@suse.com + +- Add dec at version 0.0.3. + diff --git a/ghc-dec.spec b/ghc-dec.spec new file mode 100644 index 0000000..95d4273 --- /dev/null +++ b/ghc-dec.spec @@ -0,0 +1,97 @@ +# +# spec file for package ghc-dec +# +# Copyright (c) 2024 SUSE LLC +# +# All modifications and additions to the file contributed by third parties +# remain the property of their copyright owners, unless otherwise agreed +# upon. The license for this file, and modifications and additions to the +# file, is the same license as for the pristine package itself (unless the +# license for the pristine package is not an Open Source License, in which +# case the license is the MIT License). An "Open Source License" is a +# license that conforms to the Open Source Definition (Version 1.9) +# published by the Open Source Initiative. + +# Please submit bugfixes or comments via https://bugs.opensuse.org/ +# + + +%global pkg_name dec +%global pkgver %{pkg_name}-%{version} +Name: ghc-%{pkg_name} +Version: 0.0.6 +Release: 0 +Summary: Decidable propositions +License: BSD-3-Clause +URL: https://hackage.haskell.org/package/%{pkg_name} +Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz +Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal +BuildRequires: ghc-Cabal-devel +BuildRequires: ghc-base-devel +BuildRequires: ghc-base-prof +BuildRequires: ghc-boring-devel +BuildRequires: ghc-boring-prof +BuildRequires: ghc-rpm-macros +ExcludeArch: %{ix86} + +%description +This package provides a 'Dec' type. + +' type Neg a = a -> Void + +data Dec a = Yes a | No (Neg a) '. + +%package devel +Summary: Haskell %{pkg_name} library development files +Requires: %{name} = %{version}-%{release} +Requires: ghc-compiler = %{ghc_version} +Requires(post): ghc-compiler = %{ghc_version} +Requires(postun): ghc-compiler = %{ghc_version} + +%description devel +This package provides the Haskell %{pkg_name} library development files. + +%package -n ghc-%{pkg_name}-doc +Summary: Haskell %{pkg_name} library documentation +Requires: ghc-filesystem +BuildArch: noarch + +%description -n ghc-%{pkg_name}-doc +This package provides the Haskell %{pkg_name} library documentation. + +%package -n ghc-%{pkg_name}-prof +Summary: Haskell %{pkg_name} profiling library +Requires: ghc-%{pkg_name}-devel = %{version}-%{release} +Supplements: (ghc-%{pkg_name}-devel and ghc-prof) + +%description -n ghc-%{pkg_name}-prof +This package provides the Haskell %{pkg_name} profiling library. + +%prep +%autosetup -n %{pkg_name}-%{version} +cp -p %{SOURCE1} %{pkg_name}.cabal + +%build +%ghc_lib_build + +%install +%ghc_lib_install + +%post devel +%ghc_pkg_recache + +%postun devel +%ghc_pkg_recache + +%files -f %{name}.files +%license LICENSE + +%files devel -f %{name}-devel.files +%doc ChangeLog.md + +%files -n ghc-%{pkg_name}-doc -f ghc-%{pkg_name}-doc.files +%license LICENSE + +%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files + +%changelog