Ubuntu
coq package

ubuntu/+source/coq:ubuntu/cosmic-devel

  1. Git
  2. lp:ubuntu/+source/coq
  3. ubuntu/cosmic-devel
Last commit made on 2017-10-28
Get this branch:
git clone -b ubuntu/cosmic-devel https://git.launchpad.net/ubuntu/+source/coq
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/cosmic-devel
Repository:
lp:ubuntu/+source/coq

Recent commits

2180d5b... by Gianfranco Costamagna

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

bff7890... by Stéphane Glondu

8.6-5 (patches unapplied)

Imported using git-ubuntu import.

5be4259... by gares

8.6-4 (patches unapplied)

Imported using git-ubuntu import.

eeee259... by gares

8.6-3 (patches unapplied)

Imported using git-ubuntu import.

672592d... by gares

8.6-2 (patches unapplied)

Imported using git-ubuntu import.

1aa1a69... by gares

8.6-1 (patches unapplied)

Imported using git-ubuntu import.

81e069e... by gares

8.5-2 (patches unapplied)

Imported using git-ubuntu import.

0292ce3... by gares

8.5-1 (patches unapplied)

Imported using git-ubuntu import.

cdc88a4... by gares

8.5~beta3+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

4162b8d... by gares

8.5~beta3+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.