Back to agda PTS page

Accepted agda 2.5.1.1-2 (source) into experimental



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 20 Oct 2016 10:23:45 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-2
Distribution: experimental
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-mode - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.5.1.1-2) experimental; urgency=medium
 .
   * Patch to build with newer EdisonAPI.
Checksums-Sha1:
 39b71e07f13d2f15eea6c48ad3ead08e703ddfaf 4209 agda_2.5.1.1-2.dsc
 45ac3b0a42420e3c528eff5bd0c0bfdf8f55886d 1175603 agda_2.5.1.1.orig.tar.gz
 c2b20e333cc1494573ac4524f0f5b42f9f125fe8 9028 agda_2.5.1.1-2.debian.tar.xz
Checksums-Sha256:
 2632cca6c448fa6afa02e8daa1fd44cafb8939632c7ba4acb40dafe3b8258f72 4209 agda_2.5.1.1-2.dsc
 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 1175603 agda_2.5.1.1.orig.tar.gz
 15682b45c36e05c6c499c5a20335fcdf85c90e8211d8f5842dcb4844a4a18d64 9028 agda_2.5.1.1-2.debian.tar.xz
Files:
 4160fe5359657bfac657b829c0466e7a 4209 haskell extra agda_2.5.1.1-2.dsc
 801ee9f0f3d0795c08144855b070415b 1175603 haskell extra agda_2.5.1.1.orig.tar.gz
 dcfe416aa908811a0339cf262e41d8d1 9028 haskell extra agda_2.5.1.1-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYCNO5XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioHXkP
/0my+fsjWjCL4iL6WV65J3ChSRjsU8QaCXzTwDGyu8cqoMmieybMR930Lvf11R/W
daYsGY2lBj6CLkxXmK9qNNtBeWZXYns8JH+D1LN1CjDncoNheCFcaXw7kC6S+4ig
+A8at2bD9ZeccPfyumlSahn/X1JcPnWzJ/9V4qIWtovxmM6DyLS9SPZb9gqVB5Td
rDGNSqamVBQxBAJj923LbyTpcMLaHJ1DVvQ8eecCh6Tl/jBzRnqvoG74xq/u/Ppp
nyjclmzzJCrudar/+73hYtu3Y+MfyJDPoQ9lBYK1iyuDUU8ggk9FJ8HWTSJJQ4LJ
lUP2gED/8pETXczTUDELCZgsuADAZ+ieSKzqHxILCadXQyyYKe7TuBeVec/MjNLU
GsMCEZ4ZAdQsIb8UuSjg/DTOdA8qSqdoDL9Yk1lDbxCDn3uCsurO2XErFxfeOJet
ORT32kh8vP9qRF/EYQY05v70cci7ypa0Vivh/up6oa4ZG3hEnzZKbLXC1ZazAKzn
kFgoTYOoK37NVCJi4JCMJc3ys5Ju2vSHXTHyB6WhMfnEQBCFuIUofrMXJD2oGTLZ
M6bFsZ7CQYjrxnca2rMzmqJCNLVR68jXPmH1pWt0fU6WFY2ijJMj9jiZ3XEfNcxC
NxLKeb5eNDYfsj3VbvyBcoWAAjepNZ6njWbc5FHNvtsG
=ADxD
-----END PGP SIGNATURE-----