Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

abc-1.01-23.git20190608.fc31 RPM for s390x

From Fedora Rawhide for s390x / a

Name: abc Distribution: Fedora Project
Version: 1.01 Vendor: Fedora Project
Release: 23.git20190608.fc31 Build date: Wed Jul 24 20:26:28 2019
Group: Unspecified Build host: erebor.bos.redhat.com
Size: 18385 Source RPM: abc-1.01-23.git20190608.fc31.src.rpm
Packager: Fedora Project
Url: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
Summary: Sequential logic synthesis and formal verification
ABC 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.

Provides

Requires

License

MIT

Changelog

* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-23.git20190608
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 1.01-22.git20190608
  - Update to latest git snapshot
  - Add -build and -format patches
  - Build with cmake
  - Enable CUDD support
* Sun Feb 17 2019 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.01-21.git20181121
  - Rebuild for readline 8.0
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-20.git20181121
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Mon Nov 26 2018 Jerry James <loganjerry@gmail.com> - 1.01-19.git20181121
  - Update to latest git snapshot
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-18.git20180708
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Tue Jul 10 2018 Jerry James <loganjerry@gmail.com> - 1.01-17.git20180708
  - Update to latest git snapshot
* Sat Mar 03 2018 Jerry James <loganjerry@gmail.com> - 1.01-16.hg20180228
  - Update to latest mercurial snapshot
  - BR gcc-c++ instead of gcc
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-15.hg20180129
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Feb 02 2018 Jerry James <loganjerry@gmail.com> - 1.01-14.hg20180129
  - Update to latest mercurial snapshot
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-13.hg20160905
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-12.hg20160905
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

Files

/usr/bin/abc
/usr/lib/.build-id
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/9736da6bf47779dd05d2b63df724f44b28bd23
/usr/share/doc/abc
/usr/share/doc/abc/README.md
/usr/share/doc/abc/readmeaig
/usr/share/man/man1/abc.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 17 01:41:15 2019