4ti2 - A software package for problems on linear spaces

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Contrib x86_64
Package name 4ti2
Package version 1.6.2
Package release 4-omv2015.0
Package architecture x86_64
Package type rpm
Installed size 485.23 KB
Download size 340.74 KB
Official Mirror abf-downloads.openmandriva.org
A software package for algebraic, geometric and combinatorial problems
on linear spaces.
This package uses Environment Modules, to load the binaries onto
your PATH you will need to run module load 4ti2-x86_64


Package Version Architecture Repository
4ti2-1.6.7-1-omv3001.x86_64.rpm 1.6.7 x86_64 OpenMandriva Contrib
4ti2-1.6.7-1-omv3001.i586.rpm 1.6.7 i586 OpenMandriva Contrib
4ti2 - - -


Name Value
4ti2-libs == 1.6.2-4
environment-modules -
latte-integrale -
lib4ti2gmp.so.0()(64bit) -
lib4ti2int32.so.0()(64bit) -
lib4ti2int64.so.0()(64bit) -
lib4ti2util.so.0()(64bit) -
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
libzsolve.so.0()(64bit) -


Name Value
4ti2 == 1.6.2-4:2015.0


Type URL
Binary Package 4ti2-1.6.2-4-omv2015.0.x86_64.rpm
Source Package latte-integrale-1.7.1-4.src.rpm

Install Howto

  1. Enable OpenMandriva Contrib repository on Install and Remove Software"
  2. Update packages list:
    # urpmi.update -a
  3. Install 4ti2 rpm package:
    # urpmi 4ti2




2014-05-09 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 1.7.1-4
+ Revision: c63d192
- Rebuild to use environment modules.
- This avoids conflicts with too common file names. This package
- actually did conflict with llvm due to too common binary names.

See Also

Package Description
4ti2-devel-1.6.2-4-omv2015.0.x86_64.rpm Headers needed to develop software that uses 4ti2
4ti2-devel-1.6.7-1-omv3001.x86_64.rpm Headers needed to develop software that uses 4ti2
4ti2-libs-1.6.2-4-omv2015.0.x86_64.rpm Library files for programs that use 4ti2
4ti2-libs-1.6.7-1-omv3001.x86_64.rpm Library files for programs that use 4ti2
7kaa-2.14.3-2-omv2015.0.x86_64.rpm Seven Kingdoms: Ancient Adversaries is a real-time strategy game
7kaa-data-2.13-3-omv2015.0.noarch.rpm Game data files for Seven Kingdoms: Ancient Adversaries
7kaa-music-2.13-4-omv2015.0.noarch.rpm Game music files for Seven Kingdoms: Ancient Adversaries
9base-6-2-omv2015.0.x86_64.rpm A port of following original Plan 9 userland tools to Unix
AfterStep-2.2.11-4-omv2013.0.x86_64.rpm AfterStep Window Manager
AlephOne-1.0.1-3-omv2015.0.x86_64.rpm An engine for 3D first-person shooter games Marathon 1, 2 and Infinity
BitTornado-0.3.18-2-omv2013.0.noarch.rpm Tool for copying files from one machine to another
BomberInstinct-0.8.9-15-omv2015.0.x86_64.rpm Kill the other players with bombs that throw flames
C-0.05-5-omv2015.0.x86_64.rpm Pseudo-interpreter for C syntax
CImg-1.2.7-5-omv2015.0.x86_64.rpm Tools for advanced image processing
CImg-devel-1.2.7-5-omv2015.0.x86_64.rpm Library for advanced image processing (development files)