lp://qastaging/~jgross-h/coq/trunk-packaging
Created by
Jason Gross
and last modified
- Get this branch:
- bzr branch lp://qastaging/~jgross-h/coq/trunk-packaging
Branch merges
This import branch has no branches proposed for merge into it.
Branch information
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=trunk.
Last successful import was .
Recent revisions
- 301. By Jason Gross
-
Revert "Add debugging cat line"
This reverts commit 145c429e901eb34
b8f51c25121d7e0 fd565af07b.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)