Edward Z. Yang

coq-daily-precise

  1. Recipes
  2. coq-daily-precise
Created by Edward Z. Yang on 2014-08-25 and last modified on 2014-08-25

Description

Daily builds of Coq from Git for Precise

Recipe information

Build schedule: (?)
Built daily
Owner:
Edward Z. Yang
Base source:
lp:~ezyang/coq/trunk
Debian version:
{debupstream}-0~{revno}
Daily build archive:
Coq (Git trunk)
Distribution series:

Latest builds

Status When complete Distribution series Archive

This recipe has not been built yet.

Recipe contents

# bzr-builder format 0.3 deb-version {debupstream}-0~{revno}
lp:~ezyang/coq/trunk
nest-part packaging lp:~ezyang/coq/trunk-packaging-precise debian debian