Bug#1030993: agda+agda-stdlib need hinting into testing

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1030993: agda+agda-stdlib need hinting into testing
From: Adrian Bunk <bunk@debian.org>
Date: Fri, 10 Feb 2023 11:20:53 +0200
Message-id: <[🔎] 167602085346.1905982.10971705892939223100.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 1030993@bugs.debian.org

Package: release.debian.org
Severity: normal

binary-all packages are not installable on arm64,
where agda does FTBFS.

Reply to:

Follow-Ups:
- Bug#1030993: marked as done (agda+agda-stdlib need hinting into testing)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#1030987: bullseye-pu: package vagrant/2.2.14+dfsg-2
Next by Date: Bug#1030957: release.debian.org: please have rust-rustls ignore CI tests for s390x and ppc64el
Previous by thread: Processed: vagrant 2.2.14+dfsg-2 flagged for acceptance
Next by thread: Bug#1030993: marked as done (agda+agda-stdlib need hinting into testing)
Index(es):
- Date
- Thread