Ubuntu
agda package

agda 2.5.3-5build2 source package in Ubuntu

Changelog

agda (2.5.3-5build2) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 04 Jul 2018 15:38:58 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Cosmic
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda_2.5.3.orig.tar.gz 1.1 MiB aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065
agda_2.5.3-5build2.debian.tar.xz 9.9 KiB 0a809092cf61f1f686c937cd09bf7e42cc2915d6de474a8d13fa8921f5c4eeac
agda_2.5.3-5build2.dsc 4.4 KiB 5ce18c30009c99a08c37ba7ab6f1bca3686714ba4c727be39b9e5d8d1c153382

Available diffs

View changes file

Binary packages built by this source

agda: No summary available for agda in ubuntu cosmic.

No description available for agda in ubuntu cosmic.

agda-bin: No summary available for agda-bin in ubuntu cosmic.

No description available for agda-bin in ubuntu cosmic.

agda-mode: No summary available for agda-mode in ubuntu cosmic.

No description available for agda-mode in ubuntu cosmic.

elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu cosmic.

No description available for elpa-agda2-mode in ubuntu cosmic.

libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu cosmic.

No description available for libghc-agda-dev in ubuntu cosmic.

libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu cosmic.

No description available for libghc-agda-doc in ubuntu cosmic.