commit 08de276e41ddb6b5fc066dc34951e8fa326649e12060f335fb877a6105f0b9c3 Author: Peter Simons Date: Wed Aug 26 18:48:44 2020 +0000 osc copypac from project:devel:languages:haskell:ghc-8.10.x package:ghc-dec revision:1, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-dec?expand=0&rev=1 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.3.tar.gz b/dec-0.0.3.tar.gz new file mode 100644 index 0000000..607c593 --- /dev/null +++ b/dec-0.0.3.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d9b8701244e77354ba7800f290c05f705994e2cc3a6c09b6c02d9c212add0bf9 +size 2629 diff --git a/dec.cabal b/dec.cabal new file mode 100644 index 0000000..80a941a --- /dev/null +++ b/dec.cabal @@ -0,0 +1,51 @@ +cabal-version: >=1.10 +name: dec +version: 0.0.3 +x-revision: 2 +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/vec +bug-reports: https://github.com/phadej/vec/issues +license: BSD3 +license-file: LICENSE +author: Oleg Grenrus +maintainer: Oleg.Grenrus +copyright: (c) 2019 Oleg Grenrus +build-type: Simple +extra-source-files: ChangeLog.md +tested-with: + GHC ==7.8.4 + || ==7.10.3 + || ==8.0.2 + || ==8.2.2 + || ==8.4.4 + || ==8.6.5 + || ==8.8.3 + || ==8.10.1 + +source-repository head + type: git + location: https://github.com/phadej/vec.git + subdir: dec + +library + exposed-modules: Data.Type.Dec + build-depends: base >=4.7 && <4.15 + + if !impl(ghc >=7.10) + build-depends: void >=0.7.2 && <0.8 + + ghc-options: -Wall -fprint-explicit-kinds + hs-source-dirs: src + default-language: Haskell2010 diff --git a/ghc-dec.changes b/ghc-dec.changes new file mode 100644 index 0000000..1199bb3 --- /dev/null +++ b/ghc-dec.changes @@ -0,0 +1,5 @@ +------------------------------------------------------------------- +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..040f65a --- /dev/null +++ b/ghc-dec.spec @@ -0,0 +1,70 @@ +# +# spec file for package ghc-dec +# +# Copyright (c) 2020 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 +Name: ghc-%{pkg_name} +Version: 0.0.3 +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/2.cabal#/%{pkg_name}.cabal +BuildRequires: ghc-Cabal-devel +BuildRequires: ghc-rpm-macros + +%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. + +%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 + +%changelog