Linux repositories inspector

4ti2-doc - mathematical tool suite for problems on linear spaces -- user guide

4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces.
This package provides the user guide for the 4ti2 tool suite; it also contains examples.
1.6.9
Debian iconDebian 10.0
Ubuntu iconUbuntu 19.04
Ubuntu iconUbuntu 19.10
1.6.7
Debian iconDebian 9.0
Ubuntu iconUbuntu 17.10
Ubuntu iconUbuntu 18.04 LTS
Ubuntu iconUbuntu 18.10
Ubuntu iconUbuntu 16.04 LTS
DistributionVersionSincePackageInstalledPackager
Debian iconDebian 10.0 buster/maindeb1.6.9+ds-1Jan 12338 kiB405 kiB
Debian iconDebian 9.0 stretch/maindeb1.6.7+ds-22017-11-10345 kiB411 kiB
Ubuntu iconUbuntu 17.10 artful/universedeb1.6.7+ds-2build22017-11-10343 kiB411 kiB
Ubuntu iconUbuntu 18.04 LTS bionic/universedeb1.6.7+ds-2build22017-11-10343 kiB411 kiB
Ubuntu iconUbuntu 18.10 cosmic/universedeb1.6.7+ds-4Jan 14343 kiB411 kiB
Ubuntu iconUbuntu 19.04 disco/universedeb1.6.9+ds-1Jan 14336 kiB405 kiB
Ubuntu iconUbuntu 19.10 eoan/universedeb1.6.9+ds-1Jun 17336 kiB405 kiB
Ubuntu iconUbuntu 16.04 LTS xenial/universedeb1.6.7+ds-22017-11-10343 kiB411 kiB

Latest updates

Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 1.6.9+ds-1 reintroduced

Jun 20
  • 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.
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 1.6.9+ds-1 removed

Jun 20
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 1.6.9+ds-1 introduced

Jun 17
  • 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.
Ubuntu 19.04 icon

Ubuntu 19.04 disco/universe: Version 1.6.9+ds-1 introduced

Jan 14
  • 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.
Ubuntu 18.10 icon

Ubuntu 18.10 cosmic/universe: Version 1.6.7+ds-4 introduced

Jan 14
  • 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.
Debian 10.0 icon

Debian 10.0 buster/main: Updated from 1.6.7+ds-2 to 1.6.9+ds-1

Jan 12
  • 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.
Debian 10.0 icon

Debian 10.0 buster/main: Version 1.6.7+ds-2 introduced

2017-11-10
  • Debianization:
    • debian/patches:
      • d/p/debianization-documentation.patch, C locale and UTC time for generating the time stamp (Closes: #807829) --- thanks to Reiner Herrmann <> for providing a patch;
    • debian/tests:
      • introduce.
Debian 9.0 icon

Debian 9.0 stretch/main: Version 1.6.7+ds-2 introduced

2017-11-10
  • Debianization:
    • debian/patches:
      • d/p/debianization-documentation.patch, C locale and UTC time for generating the time stamp (Closes: #807829) --- thanks to Reiner Herrmann <> for providing a patch;
    • debian/tests:
      • introduce.
Ubuntu 18.04 LTS icon

Ubuntu 18.04 LTS bionic/universe: Version 1.6.7+ds-2build2 introduced

2017-11-10
  • No-change rebuild against glpk 4.60
Ubuntu 17.10 icon

Ubuntu 17.10 artful/universe: Version 1.6.7+ds-2build2 introduced

2017-11-10
  • No-change rebuild against glpk 4.60
Ubuntu 16.04 LTS icon

Ubuntu 16.04 LTS xenial/universe: Version 1.6.7+ds-2 introduced

2017-11-10
  • Debianization:
    • debian/patches:
      • d/p/debianization-documentation.patch, C locale and UTC time for generating the time stamp (Closes: #807829) --- thanks to Reiner Herrmann <> for providing a patch;
    • debian/tests:
      • introduce.

Related packages

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