Ubuntu
coq-stdpp package

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

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

Recent commits

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

DSC file for 1.11.0-1build1

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

DSC file for 1.11.0-1

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

DSC file for 1.10.0-2build3

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

DSC file for 1.10.0-2build2

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

DSC file for 1.10.0-2build1

9a89d29... by Ubuntu Git Importer <email address hidden>

DSC file for 1.10.0-2

480a993... by Ubuntu Git Importer <email address hidden>

DSC file for 1.10.0-1build3

1ed9c46... by Ubuntu Git Importer <email address hidden>

DSC file for 1.10.0-1build2

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

DSC file for 1.10.0-1build1

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

DSC file for 1.10.0-1