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
This import branch has no branches proposed for merge into it.
No branches
dependent on this one.
Branch information
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
- 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)