fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build erlang-proper-1.5.0-1.fc42

ID123548
Package Nameerlang-proper
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version1.5.0
Release1.fc42
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/erlang-proper.git#683f7a81681fdff367e25126fd2f0c0b70368bb3
SummaryA QuickCheck-inspired property-based testing tool for Erlang
DescriptionPropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.
git:https://github.com/proper-testing/proper.git
Built bykojiadmin
State failed
Volume DEFAULT
StartedSat, 29 Mar 2025 18:21:27 CST
CompletedSat, 29 Mar 2025 19:06:41 CST
Taskbuild (f42, /rpms/erlang-proper.git:683f7a81681fdff367e25126fd2f0c0b70368bb3)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/erlang-proper.git#683f7a81681fdff367e25126fd2f0c0b70368bb3'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Mar 28 2025 Peter Lemenkov <lemenkov@gmail.com> - 1.5.0-1 - PropEr ver .1.5.0 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Tue Oct 08 2024 Peter Lemenkov <lemenkov@gmail.com> - 1.4-11 - Cosmetic changes * 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