Ubuntu
agda-stdlib package

ubuntu/+source/agda-stdlib:importer/debian/pristine-tar

  1. Git
  2. lp:ubuntu/+source/agda-stdlib
  3. importer/debian/pristine-tar
Last commit made on 2022-08-25
Get this branch:
git clone -b importer/debian/pristine-tar https://git.launchpad.net/ubuntu/+source/agda-stdlib
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/agda-stdlib

Recent commits

33afb8a... by Ubuntu Git Importer <email address hidden>

pristine-tar data for agda-stdlib_1.7.1.orig.tar.gz

44dd78e... by Ubuntu Git Importer <email address hidden>

pristine-tar data for agda-stdlib_1.3.orig.tar.gz

5e9c0c0... by Ubuntu Git Importer <email address hidden>

pristine-tar data for agda-stdlib_1.1.orig.tar.gz

378c289... by Ubuntu Git Importer <email address hidden>

pristine-tar data for agda-stdlib_0.17.orig.tar.gz

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

pristine-tar data for agda-stdlib_0.14.orig.tar.gz

4417d2f... by Ubuntu Git Importer <email address hidden>

pristine-tar data for agda-stdlib_0.13.orig.tar.gz

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

pristine-tar data for agda-stdlib_0.12.orig.tar.gz

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

pristine-tar data for agda-stdlib_0.11.orig.tar.gz

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

pristine-tar data for agda-stdlib_0.9.orig.tar.gz

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

pristine-tar data for agda-stdlib_0.8.orig.tar.gz