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

Last commit made on 2023-12-24
Get this branch:
git clone -b importer/ubuntu/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/ubuntu/dsc
Repository:
lp:ubuntu/+source/coq-simple-io

Recent commits

74a80e6... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-4ubuntu1

8a1e641... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-3ubuntu6

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

DSC file for 1.8.0-3ubuntu5

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

DSC file for 1.8.0-3ubuntu4

04f9c20... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-3ubuntu3

31c8af1... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-3ubuntu2

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

DSC file for 1.8.0-3ubuntu1

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

DSC file for 1.8.0-2ubuntu3

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

DSC file for 1.8.0-2ubuntu2

4c2816e... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-2ubuntu1