ubuntu/+source/coq-stdpp:importer/debian/dsc

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

Branch merges

Branch information

Name:
importer/debian/dsc
Repository:
lp:ubuntu/+source/coq-stdpp

Recent commits

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

DSC file for 1.11.0-1

59add0f... by Ubuntu Git Importer <email address hidden>

DSC file for 1.10.0-2

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

DSC file for 1.10.0-1

5a19102... by Ubuntu Git Importer <email address hidden>

DSC file for 1.9.0-1

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

DSC file for 1.8.0-4

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

DSC file for 1.8.0-3

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

DSC file for 1.8.0-2

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

DSC file for 1.8.0-1

46f3530... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2

44c544a... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-1