Coq

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

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

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=v8.5-precise.

Last successful import was .

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

Recent revisions

288. By Jason Gross

arch-specific coq-theories

287. By Jason Gross

Remove DYN

286. By Jason Gross

Add cmxs to lobcoq-ocaml

285. By Jason Gross

Remove cat from rules

284. By Jason Gross

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

283. By Jason Gross

Fix regex for debian/rules

282. By Jason G

cat for debugging

281. By Jason Gross

Don't check COQ_VERSION for the tip of v8.5

280. By Edward Z. Yang

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <email address hidden>

279. By Edward Z. Yang

coqworkmgr

Signed-off-by: Edward Z. Yang <email address hidden>

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