Sat, 28 Sep 2024 08:12:13 UTC | login

Information for build ghc-smallcheck-1.2.1-9.rvre0.fc38

ID250702
Package Nameghc-smallcheck
Version1.2.1
Release9.rvre0.fc38
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ghc-smallcheck.git#b4163b8d75891cc63fd6f01d5b9db1d7f2377b67
SummaryA property-based testing library
DescriptionSmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 25 Jun 2023 09:19:33 UTC
CompletedSun, 25 Jun 2023 10:04:39 UTC
Taskbuild (f38, /rpms/ghc-smallcheck.git:b4163b8d75891cc63fd6f01d5b9db1d7f2377b67)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ghc-smallcheck.git#b4163b8d75891cc63fd6f01d5b9db1d7f2377b67'}}
Tags
f38
f39
f40
RPMs
src
ghc-smallcheck-1.2.1-9.rvre0.fc38.src.rpm (info) (download)
noarch
ghc-smallcheck-doc-1.2.1-9.rvre0.fc38.noarch.rpm (info) (download)
riscv64
ghc-smallcheck-1.2.1-9.rvre0.fc38.riscv64.rpm (info) (download)
ghc-smallcheck-devel-1.2.1-9.rvre0.fc38.riscv64.rpm (info) (download)
ghc-smallcheck-prof-1.2.1-9.rvre0.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Sun Jun 25 2023 David Abdurachmanov <davidlt@rivosinc.com> 1.2.1-9.rvre0 - Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 1.2.1-5 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 1.2.1-3 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 1.2.1-1 - update to 1.2.1 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.7-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild