Coq

lp:~jgross-h/coq/v8.6-packaging-precise

Created by Jason Gross and last modified
Get this branch:
bzr branch lp:~jgross-h/coq/v8.6-packaging-precise

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Jason Gross
Project:
Coq
Status:
Development

Import details

Import Status: Reviewed

This branch is an import of the HEAD branch of the Git repository at https://github.com/JasonGross/coq-packaging.git,branch=v8.6-precise.

The next import is scheduled to run .

Last successful import was .

Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-4 and finished taking 15 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 15 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 and finished taking 5 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 10 seconds — see the log

Recent revisions

294. By Jason Gross

arch-specific coq-theories

293. By Jason Gross

Remove DYN

292. By Jason Gross

Add cmxs to lobcoq-ocaml

291. By Jason Gross

Fix a conflict in 8.6

290. By Jason Gross

README -> README.md

289. By Jason Gross

Add usr/lib/coq/META

288. By Jason Gross

compat5 moved locations

287. By Jason Gross

Also install cmo

286. By Jason Gross

Remove cat from rules

285. By Jason Gross

Add usr/share/coq/coq-ssreflect.lang

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers