Sat, 14 Dec 2024 05:55:15 UTC | login

Information for build ghc-logict-0.8.1.0-1.fc41

ID336402
Package Nameghc-logict
Version0.8.1.0
Release1.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-logict.git#588eb70b1a2d06aada7fc49605f9a035590af8ab
SummaryA backtracking logic-programming monad
DescriptionA 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>.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 12 Aug 2024 11:59:27 UTC
CompletedMon, 12 Aug 2024 12:19:35 UTC
Taskbuild (f41, /rpms/ghc-logict.git:588eb70b1a2d06aada7fc49605f9a035590af8ab)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-logict.git#588eb70b1a2d06aada7fc49605f9a035590af8ab'}}
Tags
f41
f42
RPMs
src
ghc-logict-0.8.1.0-1.fc41.src.rpm (info) (download)
noarch
ghc-logict-doc-0.8.1.0-1.fc41.noarch.rpm (info) (download)
riscv64
ghc-logict-0.8.1.0-1.fc41.riscv64.rpm (info) (download)
ghc-logict-devel-0.8.1.0-1.fc41.riscv64.rpm (info) (download)
ghc-logict-prof-0.8.1.0-1.fc41.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * Mon Jul 15 2024 Jens Petersen <petersen@redhat.com> - 0.8.0.0-7 - refresh to cabal-rpm-2.2.1 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> - 0.8.0.0-4 - bump release * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 0.8.0.0-1 - https://hackage.haskell.org/package/logict-0.8.0.0/changelog - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.1.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild