Ubuntu
agda-stdlib package

ubuntu/+source/agda-stdlib:importer/ubuntu/dsc

  1. Git
  2. lp:ubuntu/+source/agda-stdlib
  3. importer/ubuntu/dsc
Last commit made on 2023-11-04
Get this branch:
git clone -b importer/ubuntu/dsc 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/dsc
Repository:
lp:ubuntu/+source/agda-stdlib

Recent commits

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

DSC file for 1.7.3-1

3cf61d9... by Ubuntu Git Importer <email address hidden>

DSC file for 1.7.1-1

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

DSC file for 1.3-2

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

DSC file for 1.3-1

3056cae... by Ubuntu Git Importer <email address hidden>

DSC file for 1.1-1

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

DSC file for 1.1-1~build1

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

DSC file for 0.17-1

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

DSC file for 0.14-1

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

DSC file for 0.14-1~build1

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

DSC file for 0.13-1build1