teal-1_40b-14.fc23.x86_64.rpm


Advertisement

Description

teal - Verification Utility and Connection Library

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package name teal
Package version 1_40b
Package release 14.fc23
Package architecture x86_64
Package type rpm
Installed size 842.25 KB
Download size 500.47 KB
Official Mirror dl.fedoraproject.org
Teal is a C++ multithreaded library to verify verilog designs.
It deals with such things as simulation logging, error reporting, threading,
memory model management. It basically provides all the low level building blocks
needed to start a verification environment.

Alternatives

Package Version Architecture Repository
teal-1_40b-14.fc23.i686.rpm 1_40b i686 Fedora
teal - - -

Requires

Name Value
/sbin/ldconfig -
iverilog -
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
libteal.ivl.so.1.0()(64bit) -
teal = 1_40b-14.fc23
teal(x86-64) = 1_40b-14.fc23

Download

Type URL
Binary Package teal-1_40b-14.fc23.x86_64.rpm
Source Package teal-1_40b-14.fc23.src.rpm

Install Howto

Install the teal rpm package:

# dnf install teal

Files

Path
/usr/include/teal/teal.h
/usr/include/teal/teal_dictionary.h
/usr/include/teal/teal_reg.h
/usr/include/teal/teal_vevents.h
/usr/include/teal/teal_vmemory.h
/usr/include/teal/teal_vout.h
/usr/include/teal/teal_vrandom.h
/usr/include/teal/teal_vthreads.h
/usr/lib64/libteal.ivl.so
/usr/lib64/libteal.ivl.so.1.0
/usr/lib64/teal/Makefile.Linux
/usr/share/doc/teal/Trusster-LGPLv2-license-permission.txt
/usr/share/doc/teal/examples_1_40a.tar.gz
/usr/share/doc/teal/teal_user.pdf

Changelog

2015-06-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-14
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-08-18 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-13
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-11 - Jaromir Capik <jcapik@redhat.com> - 1_40b-12
- Fixing format-security flaws (#1107445)
- Spec cleaning
2014-06-08 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-08-04 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-02-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2012-07-21 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-02-28 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-7
- Rebuilt for c++ ABI breakage
2012-01-14 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
2011-02-09 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

See Also

Package Description
teamd-1.27-11.fc30.i686.rpm Team network device control daemon
teamd-1.27-11.fc30.x86_64.rpm Team network device control daemon
teamd-devel-1.27-11.fc30.i686.rpm Libraries and header files for teamd development
teamd-devel-1.27-11.fc30.x86_64.rpm Libraries and header files for teamd development
teamgit-0.0.12-24.20130626.fc29.x86_64.rpm Visual tool for Git
techtalk-pse-1.2.0-3.fc29.noarch.rpm Presentation software designed for technical people
teckit-2.5.7-2.fc28.i686.rpm Conversion library and mapping compiler
teckit-2.5.7-2.fc28.x86_64.rpm Conversion library and mapping compiler
teckit-devel-2.5.7-2.fc28.i686.rpm Conversion library and mapping compiler
teckit-devel-2.5.7-2.fc28.x86_64.rpm Conversion library and mapping compiler
tecnoballz-0.92-31.fc29.x86_64.rpm A Brick Busting game
teem-1.11.0-7.fc29.x86_64.rpm Libraries for scientific raster data processing and visualizing
teem-devel-1.11.0-7.fc29.i686.rpm Libraries for scientific raster data processing and visualizing
teem-devel-1.11.0-7.fc29.x86_64.rpm Libraries for scientific raster data processing and visualizing
teem-libs-1.11.0-7.fc29.i686.rpm Libraries for scientific raster data processing and visualizing
Advertisement
Advertisement