erlang-proper-1.4-10.fc41 | Build Info

Click here to visit the old openkoji buildsystem (Archived)

Information for build erlang-proper-1.4-10.fc41

63249

Package Name

Links

Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem

Version

1.4

Release

10.fc41

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/erlang-proper.git#e70849900449588a76d598797a7439387837d4fe

Summary

A QuickCheck-inspired property-based testing tool for Erlang

Description

PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.

VCS

scm:git:https://github.com/proper-testing/proper.git

Built by

zhangsongsong

State

complete

Volume

DEFAULT

Started

Sat, 12 Oct 2024 14:02:10 CST

Completed

Sat, 12 Oct 2024 14:16:48 CST

Task

build (f41-build-side-1, /rpms/erlang-proper.git:e70849900449588a76d598797a7439387837d4fe)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/erlang-proper.git#e70849900449588a76d598797a7439387837d4fe'}}

Tags

f41

f41-build-side-1

RPMs

src
	erlang-proper-1.4-10.fc41.src.rpm (info) (download)
noarch
	erlang-proper-1.4-10.fc41.noarch.rpm (info) (download)

Logs

noarch
	build.log
	hw_info.log
	installed_pkgs.log
	state.log
	root.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Sun Jun 02 2024 Peter Lemenkov <lemenkov@gmail.com> - 1.4-9 - Switch to SPDX tag * Mon May 06 2024 Peter Lemenkov <lemenkov@gmail.com> - 1.4-8 - Fix FTBFS with Rebar3 * Sat Apr 20 2024 Peter Lemenkov <lemenkov@gmail.com> - 1.4-7 - More macros * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Aug 22 2022 Peter Lemenkov <lemenkov@gmail.com> - 1.4-1 - Update to 1.4 * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild