Coq

lp://qastaging/~jgross-h/coq/trunk-packaging

Created by Jason Gross and last modified
Get this branch:
bzr branch lp://qastaging/~jgross-h/coq/trunk-packaging

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Jason Gross
Project:
Coq
Status:
Development

Import details

Import Status: Suspended

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

Last successful import was .

Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 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 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 10 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-4 and finished taking 10 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-1 and finished taking 10 seconds — see the log

Recent revisions

303. By Jason Gross

Make coq depend on libcoq-ocaml

302. By Jason Gross

Update coqdoc.sty location in light of new commit

301. By Jason Gross

Revert "Add debugging cat line"

This reverts commit 145c429e901eb34b8f51c25121d7e0fd565af07b.

300. By Jason Gross

Add debugging cat line

299. By Jason Gross

Add CoqMakefile.in

298. By Jason Gross

Fix path to dllcoqrun.so

297. By Jason Gross

arch-specific coq-theories

296. By Jason Gross

Remove DYN

295. By Jason Gross

Add cmxs to lobcoq-ocaml

294. By Jason Gross

Fix a conflict in 8.6

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