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

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

Recent commits

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

DSC file for 20231010-1

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

DSC file for 20230420-4

06b671c... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-3

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

DSC file for 20230420-2

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

DSC file for 20230420-1

8326e5e... by Ubuntu Git Importer <email address hidden>

DSC file for 20220816-2

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

DSC file for 20220816-1

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

DSC file for 20220204-1