[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted agda 2.2.6-5 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 16 Mar 2010 10:15:20 -0300
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.6-5
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Marco Túlio Gontijo e Silva <marcot@debian.org>
Description: 
 agda-mode  - the emacs mode for Agda
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-doc - a dependently typed functional programming language - documentati
Changes: 
 agda (2.2.6-5) unstable; urgency=low
 .
   * debian/control: Rename -doc package.
Checksums-Sha1: 
 f03f1540acde9f6d3b8075c5b2a01363970b52af 2268 agda_2.2.6-5.dsc
 855596b240990632089731946ff06d6adae01ae9 4914 agda_2.2.6-5.diff.gz
 991c2acce4431e9171d4280e7eca3b7504bb9696 1097286 libghc6-agda-doc_2.2.6-5_all.deb
 c13f6fe0379fdf8d399c6dbf45a079bd4cb81c5b 39908 agda-mode_2.2.6-5_all.deb
 b799bb8b41677d54687007a5d6b0f109ce69cb49 10054108 libghc6-agda-dev_2.2.6-5_amd64.deb
Checksums-Sha256: 
 0e9a521c8aea5b7a34fdd7dc3ab973df76862f2c6450eaafad75f4fe0dcf615a 2268 agda_2.2.6-5.dsc
 eb981272ab3bb16058f8872cf4e942281d067ea0239fa9c5bd9694f77ad0f967 4914 agda_2.2.6-5.diff.gz
 4e4c799579eae907fd7474f0cf71936fab64842d326dc5ddf3d0bf44d22ed01d 1097286 libghc6-agda-doc_2.2.6-5_all.deb
 1107233f5126a382977d2bfb90797c825b99c4ea388f156a257436513ada6146 39908 agda-mode_2.2.6-5_all.deb
 26f48f0d988693fc60a5b7f0c16a7662b1a484bc58ceb1076cf1f33320220124 10054108 libghc6-agda-dev_2.2.6-5_amd64.deb
Files: 
 4a1b397ee66772b24f173276f93ddc7e 2268 haskell extra agda_2.2.6-5.dsc
 96bd9377d3af02ffdb70cf28dcf2ae94 4914 haskell extra agda_2.2.6-5.diff.gz
 dfbbe9f1beb05a59605a431281fb6cba 1097286 doc extra libghc6-agda-doc_2.2.6-5_all.deb
 ece6d7602459f9ca5065af8b4662608f 39908 misc extra agda-mode_2.2.6-5_all.deb
 61da6dad51059384cc00e80cd495fd25 10054108 haskell extra libghc6-agda-dev_2.2.6-5_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkufi8kACgkQhAwOmkV1TkSJNACZAUjUItapTVLKG+dsqoHJ09Ls
YAMAn1KQpFey9Stm9HenGOvV4tazo5nk
=xd6Q
-----END PGP SIGNATURE-----


Accepted:
agda-mode_2.2.6-5_all.deb
  to main/a/agda/agda-mode_2.2.6-5_all.deb
agda_2.2.6-5.diff.gz
  to main/a/agda/agda_2.2.6-5.diff.gz
agda_2.2.6-5.dsc
  to main/a/agda/agda_2.2.6-5.dsc
libghc6-agda-dev_2.2.6-5_amd64.deb
  to main/a/agda/libghc6-agda-dev_2.2.6-5_amd64.deb
libghc6-agda-doc_2.2.6-5_all.deb
  to main/a/agda/libghc6-agda-doc_2.2.6-5_all.deb


Reply to: