Ubuntu
coq-doc package

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

  1. Git
  2. lp:ubuntu/+source/coq-doc
  3. importer/debian/pristine-tar
Last commit made on 2023-04-25
Get this branch:
git clone -b importer/debian/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/debian/pristine-tar
Repository:
lp:ubuntu/+source/coq-doc

Recent commits

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

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

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

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

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

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

06b0844... by Ubuntu Git Importer <email address hidden>

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

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

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

6d895be... by Ubuntu Git Importer <email address hidden>

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

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

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

8473f32... by Ubuntu Git Importer <email address hidden>

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

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

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

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

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