Ubuntu
coq package

ubuntu/+source/coq:applied/ubuntu/bionic

  1. Git
  2. lp:ubuntu/+source/coq
  3. applied/ubuntu/bionic
Last commit made on 2017-10-28
Get this branch:
git clone -b applied/ubuntu/bionic 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:
applied/ubuntu/bionic
Repository:
lp:ubuntu/+source/coq

Recent commits

73d49cb... by Gianfranco Costamagna

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

b29e22f... by Gianfranco Costamagna

5127 fails on mips

Gbp-Pq: 0005-5127-fails-on-mips.patch.

e1b2660... by Gianfranco Costamagna

Remove 3441.v and 4811.v due to timeout on small platforms

Gbp-Pq: 0004-Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch.

f80a1d0... by Gianfranco Costamagna

Remove test 4429

Gbp-Pq: 0003-Remove-test-4429.patch.

8f772d0... by Gianfranco Costamagna

Remove test 4366 (too picky on the timeout)

Gbp-Pq: 0002-Remove-test-4366-too-picky-on-the-timeout.patch.

22796e7... by Gianfranco Costamagna

test-suite/success/Nsatz.v: comment out Ceva

Gbp-Pq: 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch.

2180d5b... by Gianfranco Costamagna

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

7510815... by Stéphane Glondu

8.6-5 (patches applied)

Imported using git-ubuntu import.

bff7890... by Stéphane Glondu

8.6-5 (patches unapplied)

Imported using git-ubuntu import.

ee6eb4c... by Stéphane Glondu

5127 fails on mips

Gbp-Pq: 0005-5127-fails-on-mips.patch.