Ubuntu
coq-quickchick package

ubuntu/+source/coq-quickchick:applied/ubuntu/oracular-proposed

  1. Git
  2. lp:ubuntu/+source/coq-quickchick
  3. applied/ubuntu/oracular-proposed
Last commit made on 2024-06-15
Get this branch:
git clone -b applied/ubuntu/oracular-proposed 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:
applied/ubuntu/oracular-proposed
Repository:
lp:ubuntu/+source/coq-quickchick

Recent commits

fba1b95... by Gianfranco Costamagna

2.0.3-2build6 (patches applied)

Imported using git-ubuntu import.

ef99d9e... by Gianfranco Costamagna

2.0.3-2build6 (patches unapplied)

Imported using git-ubuntu import.

dc05614... by Gianfranco Costamagna

2.0.3-2build5 (patches applied)

Imported using git-ubuntu import.

abf87f6... by Gianfranco Costamagna

2.0.3-2build5 (patches unapplied)

Imported using git-ubuntu import.

a1501c1... by Gianfranco Costamagna

2.0.3-2build4 (patches applied)

Imported using git-ubuntu import.

63fb54a... by Gianfranco Costamagna

2.0.3-2build4 (patches unapplied)

Imported using git-ubuntu import.

b5bf97f... by Gianfranco Costamagna

2.0.3-2build3 (patches applied)

Imported using git-ubuntu import.

707b4b9... by Gianfranco Costamagna

2.0.3-2build3 (patches unapplied)

Imported using git-ubuntu import.

fc616b2... by Gianfranco Costamagna

2.0.3-2build2 (patches applied)

Imported using git-ubuntu import.

92eb2c4... by Gianfranco Costamagna

2.0.3-2build2 (patches unapplied)

Imported using git-ubuntu import.