update to 0.0.1.4
This commit is contained in:
parent
32b6ae6fa6
commit
1ebc1e5fb9
|
@ -1,2 +1,3 @@
|
||||||
/djinn-lib-0.0.1.2.tar.gz
|
/djinn-lib-0.0.1.2.tar.gz
|
||||||
/djinn-lib-0.0.1.3.tar.gz
|
/djinn-lib-0.0.1.3.tar.gz
|
||||||
|
/djinn-lib-0.0.1.4.tar.gz
|
||||||
|
|
|
@ -1,30 +0,0 @@
|
||||||
name: djinn-lib
|
|
||||||
version: 0.0.1.3
|
|
||||||
x-revision: 1
|
|
||||||
cabal-version: >= 1.6
|
|
||||||
license: BSD3
|
|
||||||
license-file: LICENSE
|
|
||||||
author: Lennart Augustsson
|
|
||||||
maintainer: trupill@gmail.com
|
|
||||||
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
|
|
||||||
description: Djinn uses an theorem prover for intuitionistic propositional logic
|
|
||||||
to generate a Haskell expression when given a type.
|
|
||||||
This is a library extracted from Djinn sources.
|
|
||||||
category: Language
|
|
||||||
homepage: http://www.augustsson.net/Darcs/Djinn/
|
|
||||||
build-type: Simple
|
|
||||||
|
|
||||||
library
|
|
||||||
hs-source-dirs: src
|
|
||||||
build-depends: base >= 4.6 && < 5,
|
|
||||||
mtl,
|
|
||||||
containers,
|
|
||||||
pretty
|
|
||||||
exposed-modules: Djinn.HCheck,
|
|
||||||
Djinn.HTypes,
|
|
||||||
Djinn.LJT,
|
|
||||||
Djinn.LJTFormula
|
|
||||||
|
|
||||||
source-repository head
|
|
||||||
type: git
|
|
||||||
location: https://github.com/serras/djinn-lib
|
|
|
@ -5,15 +5,14 @@
|
||||||
%global pkgver %{pkg_name}-%{version}
|
%global pkgver %{pkg_name}-%{version}
|
||||||
|
|
||||||
Name: ghc-%{pkg_name}
|
Name: ghc-%{pkg_name}
|
||||||
Version: 0.0.1.3
|
Version: 0.0.1.4
|
||||||
Release: 15%{?dist}
|
Release: 1%{?dist}
|
||||||
Summary: Generate Haskell code from a type
|
Summary: Generate Haskell code from a type
|
||||||
|
|
||||||
License: BSD
|
License: BSD
|
||||||
Url: https://hackage.haskell.org/package/%{pkg_name}
|
Url: https://hackage.haskell.org/package/%{pkg_name}
|
||||||
# Begin cabal-rpm sources:
|
# Begin cabal-rpm sources:
|
||||||
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
||||||
Source1: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
|
|
||||||
# End cabal-rpm sources
|
# End cabal-rpm sources
|
||||||
|
|
||||||
# Begin cabal-rpm deps:
|
# Begin cabal-rpm deps:
|
||||||
|
@ -69,7 +68,6 @@ This package provides the Haskell %{pkg_name} profiling library.
|
||||||
%prep
|
%prep
|
||||||
# Begin cabal-rpm setup:
|
# Begin cabal-rpm setup:
|
||||||
%setup -q -n %{pkgver}
|
%setup -q -n %{pkgver}
|
||||||
cp -bp %{SOURCE1} %{pkg_name}.cabal
|
|
||||||
# End cabal-rpm setup
|
# End cabal-rpm setup
|
||||||
|
|
||||||
|
|
||||||
|
@ -106,6 +104,9 @@ cp -bp %{SOURCE1} %{pkg_name}.cabal
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Tue Jun 07 2022 Jens Petersen <petersen@redhat.com> - 0.0.1.4-1
|
||||||
|
- https://hackage.haskell.org/package/djinn-lib-0.0.1.4/changelog
|
||||||
|
|
||||||
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-15
|
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-15
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||||
|
|
||||||
|
|
2
sources
2
sources
|
@ -1 +1 @@
|
||||||
SHA512 (djinn-lib-0.0.1.3.tar.gz) = 9e531055f499a160fc1c32adeba26ef1c90aa92419140ee5659ea70100d51a1e376b2c2e87dc3816928362778dfb20362371aebdd53ad557a1bf09467d33b190
|
SHA512 (djinn-lib-0.0.1.4.tar.gz) = 6cd404c9864173db60ad1dcba137e5c8371353dae55b9e502774123b42a27e9f300c013f0c6bc82b9875c68bd9d477ba971bbf9d63e4dbd1b6c21e2d24e50278
|
||||||
|
|
Loading…
Reference in New Issue