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

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

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

Branch information

48f2ad1... by Ubuntu Git Importer <email address hidden> on 2024-04-26: DSC file for 0.1.5-4
b50070c... by Ubuntu Git Importer <email address hidden> on 2023-12-22: DSC file for 0.1.5-1
866e6e9... by Ubuntu Git Importer <email address hidden> on 2023-06-13: DSC file for 0.1.4-4
97c2b6e... by Ubuntu Git Importer <email address hidden> on 2023-01-25: DSC file for 0.1.4-3
86ff29a... by Ubuntu Git Importer <email address hidden> on 2022-09-06: DSC file for 0.1.4-2
843ceb3... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 0.1.4-1
88a3704... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 0.1.3-2

»