ubuntu/+source/coq-equations:importer/debian/dsc

Last commit made on 2024-04-28
Get this branch:
git clone -b importer/debian/dsc https://git.launchpad.net/ubuntu/+source/coq-equations
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
importer/debian/dsc
Repository:
lp:ubuntu/+source/coq-equations

Recent commits

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

DSC file for 1.3-8.19-1

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

DSC file for 1.3-8.18-1

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

DSC file for 1.3-8.17-2

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

DSC file for 1.3-8.17-1

0d98891... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.16-2

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

DSC file for 1.3-8.16-1

10b4cfd... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.15-2