Fri, 30 Oct 2026 07:55:30 UTC Log in

ghc-logict-0.8.2.0-6.fc45

complete
A backtracking logic-programming monad built by guoguo completed Wed, 14 Oct 2026 01:01:00 UTC
Task 26870

Description

A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.

RPMs

4 files, 3 arches
src
  • ghc-logict-0.8.2.0-6.fc45.src.rpm 38.71 KB info · download
noarch
  • ghc-logict-doc-0.8.2.0-6.fc45.noarch.rpm 80.91 KB info · download
riscv64
  • ghc-logict-0.8.2.0-6.fc45.riscv64.rpm 65.31 KB info · download
  • ghc-logict-devel-0.8.2.0-6.fc45.riscv64.rpm 139.65 KB info · download

Logs

riscv64

Changelog

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

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

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

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

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

* Tue Mar 25 2025 Jens Petersen <petersen@redhat.com> - 0.8.2.0-1
- https://hackage.haskell.org/package/logict-0.8.2.0/changelog

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

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

* Sat Jul 20 2024 Jens Petersen <petersen@redhat.com> - 0.8.1.0-1
- https://hackage.haskell.org/package/logict-0.8.1.0/changelog

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