Update 4ti2 to version 1.6.7

[mkoeppe]

This is a bugfix release.

The new tarball is here:
http://www.4ti2.de/version_1.6.7/4ti2-1.6.7.tar.gz

Oh, and what's up with the big warning about the package being experimental? Introduced with #18563.

CC: @jdemeyer @dimpase @nathanncohen

Component: packages: optional

Author: Matthias Koeppe

Branch/Commit: 0ee2b2e

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/19693

[mkoeppe]

Branch: u/mkoeppe/update_4ti2_to_version_1_6_7

[mkoeppe]

Commit: afbc85f

[mkoeppe]

New commits:

afbc85f

Update 4ti2 to version 1.6.7

[mkoeppe]

Author: Matthias Koeppe

[dimpase]

comment:3

#18459 was just an update. It had nothing to do with the package type (experimental/optional/standard). Surely 4ti2 has been around for long enough to become optional or standard. There was a massive patch setting package types:

>build/pkgs/4ti2$ git blame type
ef11087e (Jeroen Demeyer 2015-06-01 10:12:49 +0200 1) experimental

We should hold a vote on sage-devel to promote it to optional. (For this it must not fail any tests, etc).

[nathanncohen]

comment:4

We should hold a vote on sage-devel to promote it to optional. (For this it must not fail any tests, etc).

You can setup a vote if you prefer, but I do not remember it being mandatory for a new optional package. It was only switched to experimental because it did not pass all optional tests at that time.

Nathann

[dimpase]

comment:5

Replying to @nathanncohen:

We should hold a vote on sage-devel to promote it to optional. (For this it must not fail any tests, etc).

You can setup a vote if you prefer, but I do not remember it being mandatory for a new optional package. It was only switched to experimental because it did not pass all optional tests at that time.

OK, then how about flipping type to 'optional' and proceeding?

[dimpase]

comment:6

otherwise, looks good to me. To allow bots to test this properly, commit the change of type, please.

[sagetrac-git]

Changed commit from afbc85f to 0ee2b2e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

0ee2b2e

Change type to optional.

[mkoeppe]

Reviewer: Dima Pasechnik

[jdemeyer]

comment:9

Replying to @nathanncohen:

You can setup a vote if you prefer, but I do not remember it being mandatory for a new optional package. It was only switched to experimental because it did not pass all optional tests at that time.

Indeed. So make absolutely sure that the optional tests pass.

[vbraun]

Changed branch from u/mkoeppe/update_4ti2_to_version_1_6_7 to 0ee2b2e