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

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

Recent commits

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

DSC file for 8.19.1-1

95e1bd8... by Ubuntu Git Importer <email address hidden>

DSC file for 8.18.0-1

098d6d0... by Ubuntu Git Importer <email address hidden>

DSC file for 8.17.1-1

849cbb8... by Ubuntu Git Importer <email address hidden>

DSC file for 8.16.1-1

9f35356... by Ubuntu Git Importer <email address hidden>

DSC file for 8.16.0-2

1a030eb... by Ubuntu Git Importer <email address hidden>

DSC file for 8.16.0-1

916d713... by Ubuntu Git Importer <email address hidden>

DSC file for 8.15.2-3

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

DSC file for 8.15.2-2

1777ed5... by Ubuntu Git Importer <email address hidden>

DSC file for 8.15.2-1

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

DSC file for 8.15.1-1