Publishing details

Removal requested on 2020-07-09.
Deleted on 2020-07-09 by Steve Langasek
build-depends on agda->haskell-edison-core, which is scheduled for removal in Debian; Debian bug #962958, LP: #1886847
Published on 2020-04-24
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

agda-stdlib (1.1-1) unstable; urgency=medium

  * Team upload
  * New upstream version 1.1
  * Update copyright years
  * Bump compat level to 12
  * Bump std-version to 4.4.0
  * Update agda relationships bounds

 -- Gianfranco Costamagna <email address hidden>  Wed, 04 Sep 2019 15:06:56 +0200

Available diffs

diff from 0.17-1 to 1.1-1 (498.2 KiB)
diff from 1.1-1~build1 (in Ubuntu) to 1.1-1 (233 bytes)

Builds

Package files

agda-stdlib-doc_1.1-1_all.deb (1.8 MiB)
agda-stdlib_1.1-1.debian.tar.xz (5.4 KiB)
agda-stdlib_1.1-1.dsc (2.1 KiB)
agda-stdlib_1.1-1_all.deb (45.2 MiB)
agda-stdlib_1.1.orig.tar.gz (556.7 KiB)