Coq

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

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

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.5.

The next import is scheduled to run .

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-4 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-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-1 and finished taking 5 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 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

Recent revisions

290. By Jason Gross

Require num on newer OCaml

289. By Jason Gross

arch-specific coq-theories

288. By Jason Gross

Remove DYN

287. By Jason Gross

Add cmxs to lobcoq-ocaml

286. By Jason Gross

Remove cat from rules

285. By Jason Gross

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

284. By Jason Gross

Fix regex for debian/rules

283. By Jason G

cat for debugging purposes

282. By Jason Gross

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

281. By Edward Z. Yang

Apparently v and glob files are installed now too.

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