Ubuntu
coq-quickchick package

ubuntu/+source/coq-quickchick:debian/sid

  1. Git
  2. lp:ubuntu/+source/coq-quickchick
  3. debian/sid
Last commit made on 2024-05-01
Get this branch:
git clone -b debian/sid https://git.launchpad.net/ubuntu/+source/coq-quickchick
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
debian/sid
Repository:
lp:ubuntu/+source/coq-quickchick

Recent commits

b20e713... by Julien Puydt <email address hidden>

2.0.3-2 (patches unapplied)

Imported using git-ubuntu import.

5d216e0... by Julien Puydt <email address hidden>

2.0.2-1 (patches unapplied)

Imported using git-ubuntu import.

bf51ae2... by Julien Puydt <email address hidden>

2.0.1-1 (patches unapplied)

Imported using git-ubuntu import.

f2f192e... by Stéphane Glondu

2.0-2 (patches unapplied)

Imported using git-ubuntu import.

78d910a... by Julien Puydt <email address hidden>

2.0-1 (patches unapplied)

Imported using git-ubuntu import.

3987b28... by Julien Puydt <email address hidden>

1.6.4-3 (patches unapplied)

Imported using git-ubuntu import.

a3640e7... by Julien Puydt <email address hidden>

1.6.4-2 (patches unapplied)

Imported using git-ubuntu import.

6d4e200... by Julien Puydt <email address hidden>

1.6.4-1 (patches unapplied)

Imported using git-ubuntu import.

3902c11... by Julien Puydt <email address hidden>

1.6.3-2 (patches unapplied)

Imported using git-ubuntu import.

9c9afc9... by Julien Puydt <email address hidden>

1.6.3-1 (patches unapplied)

Imported using git-ubuntu import.