Ubuntu
coq-mtac2 package

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

  1. Git
  2. lp:ubuntu/+source/coq-mtac2
  3. importer/ubuntu/dsc
Last commit made on 2024-05-02
Get this branch:
git clone -b importer/ubuntu/dsc https://git.launchpad.net/ubuntu/+source/coq-mtac2
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-mtac2

Recent commits

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

DSC file for 1.4+8.19-1build1

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

DSC file for 1.4+8.19-1

0d46670... by Ubuntu Git Importer <email address hidden>

DSC file for 1.4+8.18-1build3

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

DSC file for 1.4+8.18-1build2

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

DSC file for 1.4+8.18-1build1

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

DSC file for 1.4+8.18-1

415e262... by Ubuntu Git Importer <email address hidden>

DSC file for 1.4+8.17-1build5

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

DSC file for 1.4+8.17-1build4

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

DSC file for 1.4+8.17-1build3

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

DSC file for 1.4+8.17-1build2