Ubuntu
coq package

ubuntu/+source/coq:applied/ubuntu/artful-devel

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

Recent commits

67b5620... by Dimitri John Ledkov

8.6-4build3 (patches applied)

Imported using git-ubuntu import.

cc2fd7a... by Dimitri John Ledkov

5127 fails on mips

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

08f5ab5... by Dimitri John Ledkov

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.

7d0b4dd... by Dimitri John Ledkov

Remove test 4429

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

7c717b7... by Dimitri John Ledkov

Remove test 4366 (too picky on the timeout)

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

e9776fb... by Dimitri John Ledkov

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

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

8011780... by Dimitri John Ledkov

8.6-4build3 (patches unapplied)

Imported using git-ubuntu import.

3f58383... by Dimitri John Ledkov

8.6-4build2 (patches applied)

Imported using git-ubuntu import.

ebd3042... by Dimitri John Ledkov

8.6-4build2 (patches unapplied)

Imported using git-ubuntu import.

0d23908... by Dimitri John Ledkov

5127 fails on mips

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