Accepted agda 2.6.2.2-1.1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted agda 2.6.2.2-1.1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Dec 2022 16:49:20 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: agda_2.6.2.2-1.1_source.changes
- Debian-source: agda
- Debian-suite: unstable
- Debian-version: 2.6.2.2-1.1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Qrmd50gIUH2H3DWx2q+DYIrfWsWbcW10jesoo8lpgSc=; b=k0Y3XziAOd4goC9Hk3xR8k+OTh b3UBPcdOUj9NLlHSpm8nAZbjoM7wdU8l2SB/p1B7kbLg1PI+aS6tztNgm9qzRhF3bjapBD7Bp1n++ WhOUedHx2cfwfiZyRJzSBKg2Kf2S7b2ByA6j0CF8mXSBgeuHSkQRqqZIxq/YpqZmxcFi1QQ3qMfOT nhcEfFBUyCwwuLXIJMHa6n4oCt5AiDtaq6V9v2r11zG+6HMMvX6fPEjercQnXOEOVw359upCiPjXF LtFzgmE3pnjBRR4CP7W+T1Rh9E3xD9ahn93fDSuAu/GPSMDa3n4Q10sREpZRAk7khdFC0Fqeozk7F TUKpBrjw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p2b8C-00DcAw-Db@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 06 Dec 2022 16:57:40 +0100
Source: agda
Architecture: source
Version: 2.6.2.2-1.1
Distribution: unstable
Urgency: high
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Marcel Fourné <debian@marcelfourne.de>
Closes: 1017415
Changes:
agda (2.6.2.2-1.1) unstable; urgency=high
.
* Non-maintainer upload.
* add patch to remove internal agda-mode dependencies (Closes: #1017415)
Checksums-Sha1:
14f4c0670b9434529fa66d6858b5da8ddec65752 4426 agda_2.6.2.2-1.1.dsc
33bb7cbd0922a523901c6ea7f3ad6f44d7b5d18b 10496 agda_2.6.2.2-1.1.debian.tar.xz
b4563436deceb4f51531922469a17c2cb917dfb7 15836 agda_2.6.2.2-1.1_amd64.buildinfo
Checksums-Sha256:
688f97cb03a82b93b7952ac8980a81ee5b9343fef1347ab58ca3cf1bc01d72ed 4426 agda_2.6.2.2-1.1.dsc
9b4bd529eb559f6f9908de33351eac2d7c179cb6c58ffc05e78f7e7b7896eacf 10496 agda_2.6.2.2-1.1.debian.tar.xz
75824fb22824089b60d3d2a4efd0e3ada58669f38b54ac57d1b5e42e977079c8 15836 agda_2.6.2.2-1.1_amd64.buildinfo
Files:
63bc6c76f4997e927de42d119bac4514 4426 haskell optional agda_2.6.2.2-1.1.dsc
e6a1d75ca8cdf3cdd80c8de19abb9e77 10496 haskell optional agda_2.6.2.2-1.1.debian.tar.xz
8542fc8e0f26c3c7cc4907e67d9577f5 15836 haskell optional agda_2.6.2.2-1.1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEETMLS2QqNFlTb+HOqLRqqzyREREIFAmOPbsIACgkQLRqqzyRE
REJaaxAAjyl3zVr6qSsZkfffaCRDOVieJTFh/H5S5GBXbOh4EpvalXAv6t/CMMfQ
Av6KOSBB6by8JnuaM8Y21M/6WCqlR7loiS5mhVxg0zLdIyf4oj2oJG7fJG7fkd+c
g+pG8cK9G/Kuxi9SgNGI9ak+PpFUClj9d/3j0dcJjMj9Tc6JtjqrfYfjPaTtCv8e
SA2ht4uVuPvXtqRpkNdMVSsfOCCOMrb57nl4+SZ3NZgvZLjzlm3e0lBNavjgNHeY
sFvxUFnfjOWciTwkT77KRNe6Z6HP4JGp6BezPPSuS7p/MO7Nh/FJqDHkhke5iWg/
WAnIWMVKbGn6BPCTRQCJhTClL+/OBln2n4ofggtU0tm5ASSHDVIlPDFMHDhrpEpG
KDCkxRjECnEhyRPAGy4xRcAWolf/uJtvLg0aOSUKhk7lJrBhVgzsdZKzcJ4I+Gpa
3++Wxx3fvypHFbwyL8kzLZ+xR7fDQRgbKTZQDGk0jrrLSJDcWGQxzvVfc7XyQu8S
94YiYD9L0w81l5wGboqLes+a2xjX3XtnkkGdoNodTgtVqolBQX6GM7dzKnbsslWd
ty3lH5CChPKSPgAWfqK/Qu0skMchhF8cHMa9o1EcgO6IQ2Y7Ehpq4lNchf0AFM0L
f/b6jUCPLFKFIxf0x27+vg2tsxUOu5w4u3rRE47i3hSUt0o5k6I=
=qbWg
-----END PGP SIGNATURE-----