importer/debian/dsc : lp:ubuntu/+source/coq-hott : Git : Code : coq-hott package : Ubuntu

Get this branch:: git clone -b importer/debian/dsc https://git.launchpad.net/ubuntu/+source/coq-hott

Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch information

5db6c6d... by Ubuntu Git Importer <email address hidden> on 2024-04-27: DSC file for 8.19-1
b96da1c... by Ubuntu Git Importer <email address hidden> on 2023-12-22: DSC file for 8.18-3
47cc1ed... by Ubuntu Git Importer <email address hidden> on 2023-09-01: DSC file for 8.18-1
6416bc3... by Ubuntu Git Importer <email address hidden> on 2023-06-13: DSC file for 8.17-1
f007701... by Ubuntu Git Importer <email address hidden> on 2023-01-25: DSC file for 8.16-2
9ced00b... by Ubuntu Git Importer <email address hidden> on 2022-09-06: DSC file for 8.16-1
07ee4d1... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 8.15-4
8e4293f... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 8.15-3
41c4790... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 8.15-2

»