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

Get this branch:: git clone -b importer/ubuntu/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

a026857... by Ubuntu Git Importer <email address hidden> on 2024-05-13: DSC file for 8.19-1build2
b18dd58... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 8.19-1build1
5b2bc63... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 8.19-1
4dc5b2a... by Ubuntu Git Importer <email address hidden> on 2024-04-08: DSC file for 8.18-3build4
4015720... by Ubuntu Git Importer <email address hidden> on 2024-03-31: DSC file for 8.18-3build3
570082e... by Ubuntu Git Importer <email address hidden> on 2024-03-24: DSC file for 8.18-3build2
4ae310c... by Ubuntu Git Importer <email address hidden> on 2023-12-23: DSC file for 8.18-3build1
6bf593e... by Ubuntu Git Importer <email address hidden> on 2023-12-22: DSC file for 8.18-3
bd955a4... by Ubuntu Git Importer <email address hidden> on 2023-11-23: DSC file for 8.18-1build2
7d4edb6... by Ubuntu Git Importer <email address hidden> on 2023-11-06: DSC file for 8.18-1build1

»