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

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

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

Branch information

c037ba3... by Ubuntu Git Importer <email address hidden> on 2024-01-25: DSC file for 8.18.0-1
5ebb9c5... by Ubuntu Git Importer <email address hidden> on 2023-08-12: DSC file for 8.17.1-1
23b76fd... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.16.1-1
4e89e62... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.16.0-2
ff021a7... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.2-3
a62e8cc... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.2-2
2225ac3... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.2-1
66205fa... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.1-1
4c8d2b0... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.0-3
7bd2298... by Ubuntu Git Importer <email address hidden> on 2023-04-25: DSC file for 8.15.0-2

»