Coq

lp://staging/~ezyang/coq/trunk-packaging

Created by Edward Z. Yang and last modified
Get this branch:
bzr branch lp://staging/~ezyang/coq/trunk-packaging

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Edward Z. Yang
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/ezyang/coq-packaging.git.

Last successful import was .

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

Recent revisions

281. By Edward Z. Yang

Apparently v and glob files are installed now too.

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

280. By Edward Z. Yang

Merge branch 'master' of git://anonscm.debian.org/pkg-ocaml-maint/packages/coq

Conflicts:
 debian/changelog
 debian/rules

279. By Edward Z. Yang

Track renaming of coq.el to gallina.el

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

278. By Edward Z. Yang

coqworkmgr

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

277. By Edward Z. Yang

Revert "Enable validation."

This reverts commit 0ac49c057434c82cad755bf9699b78c12118e17e.

276. By Edward Z. Yang

Enable validation.

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

275. By Edward Z. Yang

Disable tests.

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

274. By Edward Z. Yang

Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d5

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

273. By Edward Z. Yang

Bump version number.

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

272. By Edward Z. Yang

Packaging fixes to make trunk work.

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