ubuntu/+source/coq-simple-io:importer/debian/dsc

Last commit made on 2023-12-23
Get this branch:
git clone -b importer/debian/dsc https://git.launchpad.net/ubuntu/+source/coq-simple-io
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-simple-io

Recent commits

08f156c... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-4

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

DSC file for 1.8.0-3

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

DSC file for 1.8.0-2

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

DSC file for 1.8.0-1

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

DSC file for 1.7.0-3

2cea38e... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-2

6764ee6... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.0-1