Ubuntu
agda-stdlib package

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 2025-11-01 08:18:57 UTC
DSC file for 2.1-4build1

Author: Ubuntu Git Importer
Author Date: 2025-11-01 08:18:57 UTC

DSC file for 2.1-4build1
ubuntu/resolute 2025-11-01 07:54:22 UTC
2.1-4build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-11-01 07:53:58 UTC

2.1-4build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/devel 2025-11-01 07:54:22 UTC
2.1-4build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-11-01 07:53:58 UTC

2.1-4build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/resolute-proposed 2025-11-01 07:54:22 UTC
2.1-4build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-11-01 07:53:58 UTC

2.1-4build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/resolute-devel 2025-11-01 07:54:22 UTC
2.1-4build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-11-01 07:53:58 UTC

2.1-4build1 (patches unapplied)

Imported using git-ubuntu import.
importer/debian/dsc 2024-11-25 22:30:55 UTC
DSC file for 2.1-4

Author: Ubuntu Git Importer
Author Date: 2024-11-25 22:30:55 UTC

DSC file for 2.1-4
ubuntu/questing-devel 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/questing 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky-proposed 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-devel 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/plucky 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
debian/sid 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/sid 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/plucky-devel 2024-11-25 22:26:58 UTC
2.1-4 (patches unapplied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/resolute-devel 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/resolute 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/questing-devel 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/questing 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-proposed 2024-11-25 22:26:58 UTC
2.1-4 (patches applied)

Author: Ilias Tsitsimpis
Author Date: 2024-11-25 17:17:09 UTC

2.1-4 (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.
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.
ubuntu/oracular-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/oracular 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/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.
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/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.
applied/ubuntu/oracular 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.
applied/ubuntu/oracular-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.
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.
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.
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/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.
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.
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.
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/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/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/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.
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.
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.
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/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/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/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/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.
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.
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.
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.
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-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.
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/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/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/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/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.
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/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/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/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.
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.
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.
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-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.
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 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-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.
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.
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.
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-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/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.
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.
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-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.
1 → 100 of 187 results First • Previous • • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/agda-stdlib 2025-11-02
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for agda-stdlib in Ubuntu.