4ti2-libs-1.6.9-2.fc30.x86_64.rpm


Advertisement

Description

4ti2-libs - Library for problems on linear spaces

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package filename 4ti2-libs-1.6.9-2.fc30.x86_64.rpm
Package name 4ti2-libs
Package version 1.6.9
Package release 2.fc30
Package architecture x86_64
Package type rpm
Homepage https://4ti2.github.io/
License GPLv2+
Maintainer -
Download size 549.86 KB
Installed size 2.83 MB
A library for algebraic, geometric and combinatorial problems on linear
spaces.

Alternatives

Package Version Architecture Repository
4ti2-libs-1.6.9-2.fc30.i686.rpm 1.6.9 i686 Fedora
4ti2-libs - - -

Requires

Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libglpk.so.40()(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.8)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.26)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
4ti2-libs = 1.6.9-2.fc30
4ti2-libs(x86-64) = 1.6.9-2.fc30
lib4ti2common.so.0()(64bit) -
lib4ti2fiber.so.0()(64bit) -
lib4ti2gmp.so.0()(64bit) -
lib4ti2int32.so.0()(64bit) -
lib4ti2int64.so.0()(64bit) -
lib4ti2util.so.0()(64bit) -
libzsolve.so.0()(64bit) -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package 4ti2-libs-1.6.9-2.fc30.x86_64.rpm
Source Package 4ti2-1.6.9-2.fc30.src.rpm

Install Howto

Install 4ti2-libs rpm package:

# dnf --refresh install 4ti2-libs

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/1a/89bd0e79d1f713f7fcb5046ce9f7ba3100e00f
/usr/lib/.build-id/2c/4258ae22d1aff3cfc3966615acb83623c6e604
/usr/lib/.build-id/42/349da8ebf351dc783b428a5f60140a9e1863b0
/usr/lib/.build-id/8e/e0a23c56b11b90421b1e099546f8db779c72de
/usr/lib/.build-id/b7/2975c5cc7c1606c04696d35712d8590558d25a
/usr/lib/.build-id/d3/ddec2ede36d8d39096b26582b0f6decf1fb96a
/usr/lib/.build-id/e4/e2a83ef345e83481def15738a2f0295d731b10
/usr/lib64/lib4ti2common.so.0
/usr/lib64/lib4ti2common.so.0.0.0
/usr/lib64/lib4ti2fiber.so.0
/usr/lib64/lib4ti2fiber.so.0.0.0
/usr/lib64/lib4ti2gmp.so.0
/usr/lib64/lib4ti2gmp.so.0.0.0
/usr/lib64/lib4ti2int32.so.0
/usr/lib64/lib4ti2int32.so.0.0.0
/usr/lib64/lib4ti2int64.so.0
/usr/lib64/lib4ti2int64.so.0.0.0
/usr/lib64/lib4ti2util.so.0
/usr/lib64/lib4ti2util.so.0.0.0
/usr/lib64/libzsolve.so.0
/usr/lib64/libzsolve.so.0.0.0
/usr/share/doc/4ti2-libs/NEWS
/usr/share/doc/4ti2-libs/README
/usr/share/doc/4ti2-libs/THANKS
/usr/share/doc/4ti2-libs/TODO
/usr/share/licenses/4ti2-libs/COPYING

Changelog

2019-01-31 - Fedora Release Engineering <releng@fedoraproject.org> - 1.6.9-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-09-29 - Jerry James <loganjerry@gmail.com> - 1.6.9-1
- Split back out of latte-integrale

See Also

Package Description
5minute-0.2.31-2.fc30.noarch.rpm Give me an instance of mine image on OpenStack. Hurry!
64tass-1.54.1900-1.fc31.x86_64.rpm 6502 assembler
7kaa-2.14.7-5.fc30.x86_64.rpm Seven Kingdoms: Ancient Adversaries
7kaa-data-2.14.7-5.fc30.noarch.rpm In-Game data Seven Kingdoms: Ancient Adversaries
7kaa-music-2.14.7-5.fc30.noarch.rpm In-Game music for Seven Kingdoms: Ancient Adversaries
8sync-0.4.2-7.fc30.x86_64.rpm Asynchronous programming library for GNU Guile
90-Second-Portraits-1.01b-6.fc30.noarch.rpm Frantic street painting game
99soft-oss-parent-10-12.fc30.noarch.rpm 99 Software Foundation parent pom
9pfs-1.0.9-16.fc30.noarch.rpm Plan9 filesystem server
9wm-1.4.1-3.fc30.x86_64.rpm Emulation of the Plan 9 window manager 8 1/2
AGReader-1.2-22.fc30.x86_64.rpm Console reader for viewing AmigaGuide files
AcetoneISO-6.7-27.fc30.x86_64.rpm CD/DVD Image Manipulator
Add64-1.2.2-17.fc30.x86_64.rpm An additive synthesizer using JACK
Agda-2.5.4.2-17.fc30.x86_64.rpm A dependently typed functional programming language and proof assistant
Agda-common-2.5.4.2-17.fc30.noarch.rpm Agda common files
Advertisement
Advertisement