Ubuntu
agda-stdlib package

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

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

Recent commits

80a64ad... by Ubuntu Git Importer <email address hidden>

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

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

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

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

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

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

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

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

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

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

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

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

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

92658f5... by Ubuntu Git Importer <email address hidden>

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

29e32a7... by Ubuntu Git Importer <email address hidden>

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

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

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