ubuntu/+source/coq-hierarchy-builder:importer/ubuntu/dsc

Last commit made on 2024-09-11
Get this branch:
git clone -b importer/ubuntu/dsc https://git.launchpad.net/ubuntu/+source/coq-hierarchy-builder
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
importer/ubuntu/dsc
Repository:
lp:ubuntu/+source/coq-hierarchy-builder

Recent commits

2cabc75... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build6

041c309... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build5

7a4bebd... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build4

bc84dea... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build3

17e355b... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build2

3fef834... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2build1

0b279bb... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2

29a379c... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-1build4

7f990cd... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-1build3

5710c36... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-1build2