Coq

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

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

Branch merges

Related bugs

Related blueprints

Branch information

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

The next import is scheduled to run .

Last successful import was .

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

Recent revisions

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>

278. By Edward Z. Yang

Relax version contraint (PRECISE ONLY)

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>

271. By Stéphane Glondu

Update changelog and prepare upload to experimental

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