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

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

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

Branch information

ca7b55a... by Ubuntu Git Importer <email address hidden> on 2024-05-21: DSC file for 0.4.0-3build3
35c5617... by Ubuntu Git Importer <email address hidden> on 2024-05-13: DSC file for 0.4.0-3build2
a6e70e2... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 0.4.0-3build1
3549cd8... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 0.4.0-3
7ef11b3... by Ubuntu Git Importer <email address hidden> on 2024-04-08: DSC file for 0.4.0-1build5
2a30c23... by Ubuntu Git Importer <email address hidden> on 2024-03-31: DSC file for 0.4.0-1build4
678889c... by Ubuntu Git Importer <email address hidden> on 2024-03-24: DSC file for 0.4.0-1build3
e6f6dd3... by Ubuntu Git Importer <email address hidden> on 2024-02-17: DSC file for 0.4.0-1build2
73466d7... by Ubuntu Git Importer <email address hidden> on 2024-01-28: DSC file for 0.4.0-1build1
2c9b2e7... by Ubuntu Git Importer <email address hidden> on 2023-12-26: DSC file for 0.4.0-1

»