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

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

Recent commits

67f19b6... by Ubuntu Git Importer <email address hidden>

DSC file for 20231010-1

353f0d7... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-4build3

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

DSC file for 20230420-4build2

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

DSC file for 20230420-4build1

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

DSC file for 20230420-4

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

DSC file for 20230420-3ubuntu1

64d51ca... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-3

822ebbb... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-2

98df364... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-1build1

230d728... by Ubuntu Git Importer <email address hidden>

DSC file for 20230420-1