Ubuntu
coq-doc package

ubuntu/+source/coq-doc:importer/ubuntu/pristine-tar

  1. Git
  2. lp:ubuntu/+source/coq-doc
  3. importer/ubuntu/pristine-tar
Last commit made on 2023-04-25
Get this branch:
git clone -b importer/ubuntu/pristine-tar https://git.launchpad.net/ubuntu/+source/coq-doc
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
importer/ubuntu/pristine-tar
Repository:
lp:ubuntu/+source/coq-doc

Recent commits

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

pristine-tar data for coq-doc_8.16.1.orig.tar.gz

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

pristine-tar data for coq-doc_8.16.0.orig.tar.gz

2ac819f... by Ubuntu Git Importer <email address hidden>

pristine-tar data for coq-doc_8.15.2.orig.tar.gz

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

pristine-tar data for coq-doc_8.15.1.orig.tar.gz

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

pristine-tar data for coq-doc_8.15.0.orig.tar.gz

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

pristine-tar data for coq-doc_8.6.orig.tar.gz

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

pristine-tar data for coq-doc_8.4pl4.orig.tar.gz

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

pristine-tar data for coq-doc_8.4pl2.orig.tar.gz

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

pristine-tar data for coq-doc_8.3pl4.orig.tar.gz

84bede7... by Ubuntu Git Importer <email address hidden>

pristine-tar data for coq-doc_8.3pl2.orig.tar.gz