Sat, 07 Nov 2026 21:48:00 UTC Log in

ghc-djinn-lib-0.0.1.4-18.fc45

complete
Generate Haskell code from a type built by guoguo completed Wed, 14 Oct 2026 00:04:01 UTC
Task 26128

Description

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.

RPMs

4 files, 3 arches
src
  • ghc-djinn-lib-0.0.1.4-18.fc45.src.rpm 29.88 KB info · download
noarch
  • ghc-djinn-lib-doc-0.0.1.4-18.fc45.noarch.rpm 89.53 KB info · download
riscv64
  • ghc-djinn-lib-0.0.1.4-18.fc45.riscv64.rpm 117.31 KB info · download
  • ghc-djinn-lib-devel-0.0.1.4-18.fc45.riscv64.rpm 249.95 KB info · download

Logs

riscv64

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.4-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 0.0.1.4-17
- refresh to cabal-rpm-2.3.2

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.4-16
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild

* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.4-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild

* Mon Apr 07 2025 Jens Petersen <petersen@redhat.com> - 0.0.1.4-14
- Rebuild

* Sun Feb 23 2025 Jens Petersen <petersen@redhat.com> - 0.0.1.4-13
- cabal-rpm-2.3.0

* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.4-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild

* Mon Aug 05 2024 Jens Petersen <petersen@redhat.com> - 0.0.1.4-11
- bump release

* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.4-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild