Debian
agda-bin package

agda-bin 2.2.6-1 source package in Debian

Changelog

agda-bin (2.2.6-1) unstable; urgency=low


  * New upstream release 2.2.6
  * debian/control:
    - Add vcs-* entries
    - Set to group maintenance
    - Relax version restriction on CDBS build-dep; not necessary as not using
      any new features
    - Tighten version restriction on agda build-dep; want to ensure that -bin
      is built against corresponding version of agda.
    - Bump Standards-Version to 3.8.3, no changes required.
    - Set priority to extra per archive overrides 
  * debian/copyright: Update upstream source to a more generic location 

 -- Iain Lane <email address hidden>  Sat, 09 Jan 2010 21:41:42 +0000

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Squeeze release main haskell

Builds

Downloads

File Size SHA-256 Checksum
agda-bin_2.2.6-1.dsc 1.3 KiB 1b16ac2890459e887c292769525d77367b46bb9fb46b11709839dd0ed3b81335
agda-bin_2.2.6.orig.tar.gz 1.6 KiB 7baab70c305989c02ef206095f19a15cb70abe536f6e647bcd3844ebb3c0f2fc
agda-bin_2.2.6-1.diff.gz 2.4 KiB 594d7f1f965d602058f7a35ff54dd1dd56150dbb552dfcd935de9e0d6b300d5b

No changes file available.

Binary packages built by this source