View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/agda-stdlib
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2023-11-04 18:28:20 UTC
DSC file for 1.7.3-1

Author: Ubuntu Git Importer
Author Date: 2023-11-04 18:28:20 UTC

DSC file for 1.7.3-1

importer/debian/dsc 2023-11-04 16:28:08 UTC
DSC file for 1.7.3-1

Author: Ubuntu Git Importer
Author Date: 2023-11-04 16:28:08 UTC

DSC file for 1.7.3-1

applied/ubuntu/noble 2023-11-04 16:26:28 UTC
1.7.3-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/noble-devel 2023-11-04 16:26:28 UTC
1.7.3-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/noble-devel 2023-11-04 16:26:28 UTC
1.7.3-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/devel 2023-11-04 16:26:28 UTC
1.7.3-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/sid 2023-11-04 16:26:28 UTC
1.7.3-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/noble-proposed 2023-11-04 16:26:28 UTC
1.7.3-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches unapplied)

Imported using git-ubuntu import.

debian/sid 2023-11-04 16:26:28 UTC
1.7.3-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/devel 2023-11-04 16:26:28 UTC
1.7.3-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/noble-proposed 2023-11-04 16:26:28 UTC
1.7.3-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/noble 2023-11-04 16:26:28 UTC
1.7.3-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2023-11-04 11:55:07 UTC

1.7.3-1 (patches unapplied)

Imported using git-ubuntu import.

importer/ubuntu/pristine-tar 2022-08-25 11:26:35 UTC
pristine-tar data for agda-stdlib_1.7.1.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-25 11:26:35 UTC

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

importer/debian/pristine-tar 2022-08-25 11:26:23 UTC
pristine-tar data for agda-stdlib_1.7.1.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-25 11:26:23 UTC

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

ubuntu/mantic 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/lunar 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/lunar-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/kinetic-proposed 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/kinetic-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/kinetic 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/kinetic 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/kinetic-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/kinetic-proposed 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

debian/bookworm 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/lunar 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/lunar-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/mantic 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/mantic-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

applied/debian/bookworm 2022-08-06 22:26:27 UTC
1.7.1-1 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/mantic-devel 2022-08-06 22:26:27 UTC
1.7.1-1 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2022-08-06 16:38:00 UTC

1.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/groovy-proposed 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

debian/bullseye 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/jammy-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/jammy 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/impish-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/bullseye 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/groovy 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/groovy-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/groovy-proposed 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/hirsute 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/hirsute-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/impish 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/impish-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/jammy 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/jammy-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/impish 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/hirsute-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/hirsute 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/groovy-devel 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/groovy 2020-08-01 16:29:20 UTC
1.3-2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-08-01 08:29:35 UTC

1.3-2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/focal-devel 2019-09-04 16:28:44 UTC
1.1-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/focal-devel 2019-09-04 16:28:44 UTC
1.1-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/focal 2019-09-04 16:28:44 UTC
1.1-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/eoan-proposed 2019-09-04 16:28:44 UTC
1.1-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/eoan-devel 2019-09-04 16:28:44 UTC
1.1-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/eoan 2019-09-04 16:28:44 UTC
1.1-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/focal 2019-09-04 16:28:44 UTC
1.1-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/eoan-proposed 2019-09-04 16:28:44 UTC
1.1-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/eoan-devel 2019-09-04 16:28:44 UTC
1.1-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/eoan 2019-09-04 16:28:44 UTC
1.1-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-09-04 13:06:56 UTC

1.1-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/disco-devel 2018-11-24 04:28:06 UTC
0.17-1 (patches unapplied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/buster 2018-11-24 04:28:06 UTC
0.17-1 (patches applied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/disco 2018-11-24 04:28:06 UTC
0.17-1 (patches applied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/disco-devel 2018-11-24 04:28:06 UTC
0.17-1 (patches applied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/disco-proposed 2018-11-24 04:28:06 UTC
0.17-1 (patches applied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches applied)

Imported using git-ubuntu import.

debian/buster 2018-11-24 04:28:06 UTC
0.17-1 (patches unapplied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/disco 2018-11-24 04:28:06 UTC
0.17-1 (patches unapplied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/disco-proposed 2018-11-24 04:28:06 UTC
0.17-1 (patches unapplied)

Author: Sean Whitton
Author Date: 2018-11-24 00:54:52 UTC

0.17-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/bionic-proposed 2017-11-26 16:30:23 UTC
0.14-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/bionic-devel 2017-11-26 16:30:23 UTC
0.14-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/bionic 2017-11-26 16:30:23 UTC
0.14-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/cosmic 2017-11-26 16:30:23 UTC
0.14-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/cosmic-devel 2017-11-26 16:30:23 UTC
0.14-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/bionic-proposed 2017-11-26 16:30:23 UTC
0.14-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/bionic-devel 2017-11-26 16:30:23 UTC
0.14-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/bionic 2017-11-26 16:30:23 UTC
0.14-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/cosmic-devel 2017-11-26 16:30:23 UTC
0.14-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/cosmic 2017-11-26 16:30:23 UTC
0.14-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-11-26 10:28:04 UTC

0.14-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/artful-proposed 2017-07-07 04:11:10 UTC
0.13-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/artful-proposed 2017-07-07 04:11:10 UTC
0.13-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/artful-devel 2017-07-07 04:11:10 UTC
0.13-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/artful 2017-07-07 04:11:10 UTC
0.13-1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/artful-devel 2017-07-07 04:11:10 UTC
0.13-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/artful 2017-07-07 04:11:10 UTC
0.13-1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-07-06 09:16:33 UTC

0.13-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/zesty-proposed 2016-11-15 16:55:10 UTC
0.12-2build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/zesty 2016-11-15 16:55:10 UTC
0.12-2build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty-devel 2016-11-15 16:55:10 UTC
0.12-2build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty-proposed 2016-11-15 16:55:10 UTC
0.12-2build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches applied)

Imported using git-ubuntu import.

ubuntu/zesty-devel 2016-11-15 16:55:10 UTC
0.12-2build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/zesty 2016-11-15 16:55:10 UTC
0.12-2build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-11-15 16:54:21 UTC

0.12-2build2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety-proposed 2016-08-09 15:21:12 UTC
0.12-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety 2016-08-09 15:21:12 UTC
0.12-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety-devel 2016-08-09 15:21:12 UTC
0.12-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/yakkety-proposed 2016-08-09 15:21:12 UTC
0.12-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/yakkety-devel 2016-08-09 15:21:12 UTC
0.12-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/yakkety 2016-08-09 15:21:12 UTC
0.12-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-08-09 13:28:08 UTC

0.12-2build1 (patches unapplied)

Imported using git-ubuntu import.

debian/stretch 2016-06-24 04:11:18 UTC
0.12-2 (patches unapplied)

Author: Helmut Grohne
Author Date: 2016-06-23 17:43:37 UTC

0.12-2 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/stretch 2016-06-24 04:11:18 UTC
0.12-2 (patches applied)

Author: Helmut Grohne
Author Date: 2016-06-23 17:43:37 UTC

0.12-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/xenial-proposed 2016-01-04 22:11:00 UTC
0.11-1 (patches unapplied)

Author: Iain Lane
Author Date: 2016-01-04 13:01:15 UTC

0.11-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/xenial 2016-01-04 22:11:00 UTC
0.11-1 (patches unapplied)

Author: Iain Lane
Author Date: 2016-01-04 13:01:15 UTC

0.11-1 (patches unapplied)

Imported using git-ubuntu import.

1100 of 168 results

Other repositories

Name Last Modified
lp:ubuntu/+source/agda-stdlib 2023-12-19
11 of 1 result
You can't create new repositories for agda-stdlib in Ubuntu.