Publishing details

• Published on 2019-06-14
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

  * Team upload.
  * New upstream release.
    - Bump dep bounds on agda-bin & libghc-agda-dev.
      Require 2.5.4.1 per upstream changelog.
      Assume, at least for now, that agda-stdlib will break with 2.5.5.
  * Drop spurious period from end of Standards-Version field.
  * Point Vcs-* at salsa.

 -- Sean Whitton <email address hidden>  Fri, 23 Nov 2018 17:54:52 -0700

Builds

• amd64

Package files

• agda-stdlib_0.17-1.debian.tar.xz (5.2 KiB)
• agda-stdlib_0.17-1.dsc (2.2 KiB)
• agda-stdlib_0.17.orig.tar.gz (388.0 KiB)