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

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

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

Branch information

bf725e1... by Ubuntu Git Importer <email address hidden> on 2024-01-03: DSC file for 1.19.3-2
4e55aae... by Ubuntu Git Importer <email address hidden> on 2023-12-22: DSC file for 1.19.3-1
ca6cb30... by Ubuntu Git Importer <email address hidden> on 2023-06-13: DSC file for 1.17.1-1
1d2e9e8... by Ubuntu Git Importer <email address hidden> on 2023-01-25: DSC file for 1.16.0-2
98705a4... by Ubuntu Git Importer <email address hidden> on 2022-11-20: DSC file for 1.16.0-1
49cb7d9... by Ubuntu Git Importer <email address hidden> on 2022-11-14: DSC file for 1.15.6-4
2389d56... by Ubuntu Git Importer <email address hidden> on 2022-10-25: DSC file for 1.15.6-2
8e3b5ba... by Ubuntu Git Importer <email address hidden> on 2022-09-11: DSC file for 1.15.6-1
c55707e... by Ubuntu Git Importer <email address hidden> on 2022-09-06: DSC file for 1.15.5-1
707699d... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 1.14.0-5

»