ubuntu/+source/coq-libhyps:importer/ubuntu/dsc

Last commit made on 2024-05-13
Get this branch:
git clone -b importer/ubuntu/dsc https://git.launchpad.net/ubuntu/+source/coq-libhyps
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-libhyps

Recent commits

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

DSC file for 2.0.8-3build2

48af234... by Ubuntu Git Importer <email address hidden>

DSC file for 2.0.8-3build1

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

DSC file for 2.0.8-3

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

DSC file for 2.0.8-1build4

741f6ae... by Ubuntu Git Importer <email address hidden>

DSC file for 2.0.8-1build3

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

DSC file for 2.0.8-1build2

16d7e5d... by Ubuntu Git Importer <email address hidden>

DSC file for 2.0.8-1build1

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

DSC file for 2.0.8-1

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

DSC file for 2.0.6-3build3

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

DSC file for 2.0.6-3build2