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

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


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


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


Type URL
Mirror ftp.br.debian.org
Binary Package 4ti2_1.6.9+ds-1_amd64.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




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