ubuntu/+source/coq-simple-io: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-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

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

DSC file for 1.9.0-1build3

7cd1f86... by Ubuntu Git Importer <email address hidden>

DSC file for 1.9.0-1build2

4928e0d... by Ubuntu Git Importer <email address hidden>

DSC file for 1.9.0-1build1

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

DSC file for 1.9.0-1

220f683... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-4ubuntu4

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

DSC file for 1.8.0-4ubuntu3

25f3790... by Ubuntu Git Importer <email address hidden>

DSC file for 1.8.0-4ubuntu2

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