Ubuntu
coq-equations package

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

  1. Git
  2. lp:ubuntu/+source/coq-equations
  3. 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-equations
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-equations

Recent commits

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

DSC file for 1.3-8.19-1build3

527fce2... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.19-1build2

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

DSC file for 1.3-8.19-1build1

32b1803... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.19-1

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

DSC file for 1.3-8.18-1build3

669541f... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.18-1build2

2464b5f... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.18-1build1

565af33... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.18-1

495028e... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.17-2build6

8cf2f78... by Ubuntu Git Importer <email address hidden>

DSC file for 1.3-8.17-2build5