ubuntu/+source/coq-reduction-effects:importer/ubuntu/dsc

Last commit made on 2024-06-15
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 merges

Branch information

Name:
importer/ubuntu/dsc
Repository:
lp:ubuntu/+source/coq-reduction-effects

Recent commits

5b39b79... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-4build3

ea950aa... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-4build2

f77577a... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-4build1

050b087... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-4

736f7d6... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-1build3

5f579a7... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-1build2

78a7ac0... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-1build1

e942a82... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.5-1

f0aa33d... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.4-4build3

652c334... by Ubuntu Git Importer <email address hidden>

DSC file for 0.1.4-4build2