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

Oct 10
  • 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

Oct 10
Ubuntu 19.10 icon

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

Oct 10
  • 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

Oct 10
Ubuntu 19.10 icon

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

Sep 25
  • 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

Sep 25
Ubuntu 19.10 icon

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

Sep 25
  • 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

Sep 25
Ubuntu 19.10 icon

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

Sep 06
  • 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

Sep 06
Ubuntu 19.10 icon

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

Sep 06
  • 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

Sep 06
Ubuntu 19.10 icon

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

Sep 06
  • 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

Sep 06
Ubuntu 19.10 icon

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

Sep 06
  • 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

Sep 06
Ubuntu 19.10 icon

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

Sep 06
  • 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

Sep 06
Ubuntu 19.10 icon

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

Sep 05
  • 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

Sep 05

Related packages

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