Information for build yosyshq-abc-0.67-2.20260709gite026ed5.fc45

ID111400
Package Nameyosyshq-abc
Version0.67
Release2.20260709gite026ed5.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/yosyshq-abc.git#942850319a771eb1fa4ea9251c237189f477edc1
SummarySequential logic synthesis and formal verification
DescriptionABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. ABC provides an experimental implementation of these algorithms and a programming environment for building similar applications. Future development will focus on improving the algorithms and making most of the packages stand-alone. This will allow the user to customize ABC for their needs as if it were a toolbox rather than a complete tool.
Built bydavidlt
State complete
Volume DEFAULT
StartedTue, 04 Aug 2026 23:01:39 UTC
CompletedWed, 05 Aug 2026 00:16:12 UTC
Taskbuild (f45, /rpms/yosyshq-abc.git:942850319a771eb1fa4ea9251c237189f477edc1)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/yosyshq-abc.git#942850319a771eb1fa4ea9251c237189f477edc1'}}
Tags
f45
f46
RPMs
src
yosyshq-abc-0.67-2.20260709gite026ed5.fc45.src.rpm (info) (download)
riscv64
yosyshq-abc-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
yosyshq-abc-devel-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
yosyshq-abc-libs-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
yosyshq-abc-debuginfo-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
yosyshq-abc-debugsource-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
yosyshq-abc-libs-debuginfo-0.67-2.20260709gite026ed5.fc45.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
dnf5.log
mock_output.log
root.log
build.log
mock_config.log
Changelog * Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.67-2.20260709gite026ed5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.67-1.20260709gite026ed5 - update to 0.67 snapshot * Tue May 12 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.65-1.20260512git5d51a5e - update to 0.65 snapshot * Wed Mar 04 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.63-1.20260304git8e40154 - update to 0.63 snapshot * Thu Feb 05 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.62-1.20260205git734f64d - update to 0.62 snapshot * Fri Jan 16 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.61-2.20260115git799ba63 - drop i686 due to incompatible upstream changes * Thu Jan 15 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.61-1.20260115git799ba63 - update to 0.61 snapshot * Fri Dec 05 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.60-1.20251205git49efc5b - update to 0.60 snapshot * Tue Nov 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.59-1.20251111git1c5ed1c - update to 0.59 snapshot * Thu Sep 04 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.57-1.20250904git8827baf - update to 0.57 snapshot * Sun Aug 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.56-1.20250810gitfa7fa16 - update to 0.56 snapshot * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.52-2.20250411gite55d316 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Apr 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.52-1.20250411gite55d316 - update to 0.52 snapshot * Thu Mar 13 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.51-1.20250313gitf2d68d5 - update to 0.51 snapshot * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.46-2.20241011gitcac8f99 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Oct 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.46-1.20241011gitcac8f99 - update to 0.46 snapshot * Thu Sep 05 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.45-1.20240905git2188bc7 - update to 0.45 snapshot * Thu Aug 08 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.44-1.20240804git28d955c - update to 0.44 snapshot * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.41-2.20240524git237d813 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild