debian/bookworm : lp:ubuntu/+source/mathcomp-algebra-tactics : Git : Code : mathcomp-algebra-tactics package : Ubuntu

Get this branch:: git clone -b debian/bookworm https://git.launchpad.net/ubuntu/+source/mathcomp-algebra-tactics

Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch information

9420cad... by Julien Puydt <email address hidden> on 2022-11-10

1.0.0-8 (patches unapplied)

Imported using git-ubuntu import.

394a8f4... by Julien Puydt <email address hidden> on 2022-10-26

1.0.0-7 (patches unapplied)

Imported using git-ubuntu import.

17bf2bc... by Julien Puydt <email address hidden> on 2022-07-05

1.0.0-6 (patches unapplied)

Imported using git-ubuntu import.

a81943e... by Julien Puydt <email address hidden> on 2022-06-13

1.0.0-5 (patches unapplied)

Imported using git-ubuntu import.

6446dc0... by Julien Puydt <email address hidden> on 2022-06-02

1.0.0-3 (patches unapplied)

Imported using git-ubuntu import.

2910638... by Julien Puydt <email address hidden> on 2022-05-22

1.0.0-2 (patches unapplied)

Imported using git-ubuntu import.

1c076c6... by Julien Puydt <email address hidden> on 2022-05-18

1.0.0-1 (patches unapplied)

Imported using git-ubuntu import.

03f2cfe... by Julien Puydt <email address hidden> on 2022-04-22

0.3.0-1 (patches unapplied)

Imported using git-ubuntu import.

»