4ti2_1.6.9+ds-1_i386.deb


Advertisement

Description

4ti2 - mathematical tool suite for problems on linear spaces -- tools

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename 4ti2_1.6.9+ds-1_i386.deb
Package name 4ti2
Package version 1.6.9+ds
Package release 1
Package architecture i386
Package type deb
Category math
Homepage https://4ti2.github.io/
License -
Maintainer Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Download size 527.70 KB
Installed size 2.26 MB

Alternatives

Package Version Architecture Repository
4ti2_1.6.9+ds-1_amd64.deb 1.6.9+ds amd64 Debian Main
4ti2 - - -

Requires

Name Value
libc6 >= 2.7
libgcc1 >= 1:7
libglpk40 >= 4.59
libgmp10 -
libgmpxx4ldbl -
libstdc++6 >= 5.2

Download

Type URL
Mirror ftp.br.debian.org
Binary Package 4ti2_1.6.9+ds-1_i386.deb
Source Package 4ti2

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install 4ti2 deb package:
    # sudo apt-get install 4ti2

Files

Path
/usr/bin/4ti2-circuits
/usr/bin/4ti2-genmodel
/usr/bin/4ti2-gensymm
/usr/bin/4ti2-graver
/usr/bin/4ti2-groebner
/usr/bin/4ti2-hilbert
/usr/bin/4ti2-markov
/usr/bin/4ti2-minimize
/usr/bin/4ti2-normalform
/usr/bin/4ti2-output
/usr/bin/4ti2-ppi
/usr/bin/4ti2-qsolve
/usr/bin/4ti2-rays
/usr/bin/4ti2-walk
/usr/bin/4ti2-zbasis
/usr/bin/4ti2-zsolve
/usr/lib/i386-linux-gnu/4ti2/bin/4ti2gmp
/usr/lib/i386-linux-gnu/4ti2/bin/4ti2int32
/usr/lib/i386-linux-gnu/4ti2/bin/4ti2int64
/usr/lib/i386-linux-gnu/4ti2/lib/lib4ti2common.so
/usr/lib/i386-linux-gnu/4ti2/lib/lib4ti2gmp.so
/usr/lib/i386-linux-gnu/4ti2/lib/lib4ti2int32.so
/usr/lib/i386-linux-gnu/4ti2/lib/lib4ti2int64.so
/usr/lib/i386-linux-gnu/4ti2/lib/lib4ti2util.so
/usr/lib/i386-linux-gnu/4ti2/lib/libzsolve.so
/usr/share/doc/4ti2/NEWS.gz
/usr/share/doc/4ti2/changelog.Debian.gz
/usr/share/doc/4ti2/changelog.gz
/usr/share/doc/4ti2/copyright
/usr/share/lintian/overrides/4ti2
/usr/share/man/man1/4ti2-circuits.1.gz
/usr/share/man/man1/4ti2-genmodel.1.gz
/usr/share/man/man1/4ti2-gensymm.1.gz
/usr/share/man/man1/4ti2-graver.1.gz
/usr/share/man/man1/4ti2-groebner.1.gz
/usr/share/man/man1/4ti2-hilbert.1.gz
/usr/share/man/man1/4ti2-markov.1.gz
/usr/share/man/man1/4ti2-minimize.1.gz
/usr/share/man/man1/4ti2-normalform.1.gz
/usr/share/man/man1/4ti2-output.1.gz
/usr/share/man/man1/4ti2-ppi.1.gz
/usr/share/man/man1/4ti2-qsolve.1.gz
/usr/share/man/man1/4ti2-rays.1.gz
/usr/share/man/man1/4ti2-walk.1.gz
/usr/share/man/man1/4ti2-zbasis.1.gz
/usr/share/man/man1/4ti2-zsolve.1.gz
/usr/share/man/man1/4ti2.1.gz

Changelog

2018-09-15 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.9+ds-1) unstable; urgency=medium
* New upstream release.
* Debianization:
- debian/repack, discard;
- debian/watch:
- version, bump to 4;
- opts sequence, update;
- path, update;
- debian/copyright:
- Comment field, remove;
- Files-Excluded field, introduce;
- debian/control:
- Standards-Version, bump to 4.2.1 (no change);
- debian/patches/*:
- d/p/upstream-fix-PATH_MAX.patch , integrated.
2018-08-21 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.7+ds-4) unstable; urgency=medium
* Debianization:
- debian/copyright:
- Source field, update;
- debina/control:
- Homepage field, update;
- Standards-Version, bump to 4.2.0;
- debian/watch:
- path, migration to GitHub;
- opts sequence, add uversionmangle rule.
2018-05-04 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.7+ds-3) unstable; urgency=medium
* FTBFS fix release (Closes: #897526), fix LaTeX composition failure
(see d/p/upstream-fix-NEWS-ASCII.patch patch).
* Debianization:
- debian/copyright:
- copyright years, refresh;
- Format URI, secure;
- debian/control:
- debhelper, bump to 11;
- Standards Version, bump to 4.1.4 (no major change);
- Vcs-*, update;
- debian/patches/*:
- d/p/debianization-documentation.patch, update;
- d/p/upstream-fix-NEWS-ASCII.patch, remove the non-ASCII
character that disturbed LaTeX;
- debian/rules:
- debhelper, bump to 11;
- dpkg-buildflags, add hardening=+all;
- get-orig-source target, remove;
- use pkg-info.mk ;
- refresh;
- debian/4ti2-doc.doc-base, update;
2015-12-13 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.7+ds-2) unstable; urgency=medium
* Debianization:
- debian/patches:
- d/p/debianization-documentation.patch, C locale and UTC time
for generating the time stamp (Closes: #807829) --- thanks to
Reiner Herrmann <reiner@reiner-h.de> for providing a patch;
- debian/tests:
- introduce.
2015-12-13 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.7+ds-1) unstable; urgency=medium
* New upstream release:
- underlinking fix, integrate;
- broken walk test 344, fix.
* Debianization:
- debian/copyright, refresh;
- debian/{patches,adhoc}/*:
- test walk 344, revive;
- refresh.
2015-11-02 - Jerome Benoit <calculus@rezozer.net>
4ti2 (1.6.6+ds-1) unstable; urgency=medium
* New upstream release.
* Debianization:
- debian/control:
- Vcs-Browser field: correct;
- Pre-Depends field: add;
- debian/{patches,adhoc}/*:
- underlinking fix (Closes: #801117);
- test walk 344, temporary freeze;
- refresh.

See Also

Package Description
6tunnel_0.12-1_i386.deb TCP proxy for non-IPv6 applications
7kaa-data_2.15.1+dfsg-1_all.deb Seven Kingdoms Ancient Adversaries - game data
7kaa_2.15.1+dfsg-1_i386.deb Seven Kingdoms Ancient Adversaries: real-time strategy game
9base_6-7+b1_i386.deb Plan 9 userland tools
9menu_1.9-2_i386.deb Creates X menus from the shell
9mount_1.3+hg20170412-1_i386.deb Plan 9 filesystem (v9fs) user mount utilities
9wm_1.4.1-1_i386.deb X11 window manager inspired by Plan 9's rio
a2jmidid_8~dfsg0-3_i386.deb Daemon for exposing legacy ALSA MIDI in JACK MIDI systems
a2ps_4.14-4_i386.deb GNU a2ps - 'Anything to PostScript' converter and pretty-printer
a56_1.3+dfsg-9_i386.deb Motorola DSP56001 assembler
a7xpg-data_0.11.dfsg1-10_all.deb chase action game - game data
a7xpg_0.11.dfsg1-10_i386.deb chase action game
aa3d_1.0-8+b2_i386.deb ASCII art stereogram generator
aajm_0.4-9+b2_i386.deb ASCII art version of jugglemaster
aaphoto_0.45-1_i386.deb Auto Adjust Photo, automatic color correction of photos
Advertisement
Advertisement