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

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

5b39b79... by Ubuntu Git Importer <email address hidden> 9 hours ago: DSC file for 0.1.5-4build3
ea950aa... by Ubuntu Git Importer <email address hidden> on 2024-05-13: DSC file for 0.1.5-4build2
f77577a... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 0.1.5-4build1
050b087... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 0.1.5-4
736f7d6... by Ubuntu Git Importer <email address hidden> on 2024-04-08: DSC file for 0.1.5-1build3
5f579a7... by Ubuntu Git Importer <email address hidden> on 2024-03-31: DSC file for 0.1.5-1build2
78a7ac0... by Ubuntu Git Importer <email address hidden> on 2024-03-24: DSC file for 0.1.5-1build1
e942a82... by Ubuntu Git Importer <email address hidden> on 2023-12-22: DSC file for 0.1.5-1
f0aa33d... by Ubuntu Git Importer <email address hidden> on 2023-11-23: DSC file for 0.1.4-4build3
652c334... by Ubuntu Git Importer <email address hidden> on 2023-11-06: DSC file for 0.1.4-4build2

»