Package: libghc6-agda-dev Priority: optional Section: libdevel Installed-Size: 67515 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080925-1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (>= 1.1.0.0), libghc6-mtl-dev (<< 1.1.0.0+), libghc6-quickcheck-dev (>= 2.0~20071112), libghc6-quickcheck-dev (<< 2.0~20071112+), libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 1.0.1.1+), libghc6-binary-dev (>= 0.4.1), libghc6-binary-dev (<< 0.4.1+), libghc6-zlib-dev (>= 0.4.0.4), libghc6-zlib-dev (<< 0.4.0.4+) Suggests: libghc6-agda-prof, libghc6-agda-doc Filename: unstable/libghc6-agda-dev_2.1.3~20080925-1_i386.deb Size: 9889884 MD5sum: 6f2a4559ed2374a56eec5c66344a6ed0 SHA1: 019a88878f609beee8931f5e39d244ae4ef5d835 SHA256: ec24ceedcbac34767888413822fe6f1f36e0261f5c93569aac2bf3d34ba19bdf Description: dependently-typed programming language This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libhugs-binary Priority: optional Section: devel Installed-Size: 80 Maintainer: Kari Pahula Architecture: all Source: haskell-binary Version: 0.4.4-0.1lyh Depends: hugs (>= 98.200609.21) Suggests: libghc6-binary-doc Filename: unstable/libhugs-binary_0.4.4-0.1lyh_all.deb Size: 17162 MD5sum: 3f30f98b16e60604fed15f9759ffc3c0 SHA1: f2a14ef1e210a93ca36d194176aa432e89b07ec9 SHA256: 62ff35d704c093e29392e6d41d48d7aece15bb0dcbbaa855afab261efb0d7e31 Description: Haskell library for binary serialisation; hugs library This package provides a library for Hugs, an interpreter for the Haskell programming language. . Binary serialisation of Haskell values to and from lazy ByteStrings. The Binary library provides methods for encoding Haskell values as streams of bytes directly in memory. The resulting ByteString can then be written to disk, sent over the network, or futher processed (for example, compressed with gzip). Homepage: http://code.haskell.org/binary/ Package: libghc6-quickcheck-dev Priority: optional Section: libdevel Installed-Size: 1541 Maintainer: Liyang HU Architecture: i386 Source: haskell-quickcheck Version: 2.0~20071112-0lyh1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (= 1.1.0.0-2) Suggests: libghc6-quickcheck-prof, libghc6-quickcheck-doc Filename: unstable/libghc6-quickcheck-dev_2.0~20071112-0lyh1_i386.deb Size: 277058 MD5sum: f703ef0c1695014f87e541887407cd50 SHA1: fae6ebeecb998d0d4201a1f73b6f05c1738c064d SHA256: 90b6d1653cc23aadc0513cfd2dc63b9f9a9c065767a76af9f4300578b768e8db Description: A library for random testing of program properties This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for random testing of program properties. Package: libghc6-binary-prof Priority: optional Section: devel Installed-Size: 913 Maintainer: Kari Pahula Architecture: i386 Source: haskell-binary Version: 0.4.4-0.1lyh Depends: ghc6-prof (<< 6.8.2-999), ghc6-prof (>= 6.8.2), libghc6-binary-dev (= 0.4.4-0.1lyh) Filename: unstable/libghc6-binary-prof_0.4.4-0.1lyh_i386.deb Size: 205014 MD5sum: d551c84dadf4f052ea9f9e9fb1e37dff SHA1: 41b5d3dcdd2907e2c1971ba7d59fbb1e9a6e8bf0 SHA256: 7598b46bdc25d60d730e7021d8e446e3a9e68d7bb44e580b34e7c51eede8042f Description: Haskell library for binary serialisation; profiling library This package provides a library for the Haskell programming language, compiled for profiling. . Binary serialisation of Haskell values to and from lazy ByteStrings. The Binary library provides methods for encoding Haskell values as streams of bytes directly in memory. The resulting ByteString can then be written to disk, sent over the network, or futher processed (for example, compressed with gzip). Homepage: http://code.haskell.org/binary/ Package: libghc6-agda-doc Priority: optional Section: doc Installed-Size: 12635 Maintainer: Liyang HU Architecture: all Source: haskell-agda Version: 2.1.3~20080925-1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (>= 1.1.0.0), libghc6-mtl-doc (<< 1.1.0.0+), libghc6-quickcheck-doc (>= 2.0~20071112), libghc6-quickcheck-doc (<< 2.0~20071112+), libghc6-haskell-src-doc (>= 1.0.1.1), libghc6-haskell-src-doc (<< 1.0.1.1+), libghc6-binary-doc (>= 0.4.1), libghc6-binary-doc (<< 0.4.1+), libghc6-zlib-doc (>= 0.4.0.4), libghc6-zlib-doc (<< 0.4.0.4+) Suggests: libghc6-agda-dev, libghc6-agda-prof Filename: unstable/libghc6-agda-doc_2.1.3~20080925-1_all.deb Size: 989476 MD5sum: 9d92c7cca55f58efc139b309bcbdf068 SHA1: b4fdf5fbc581cb7b5cac81f54b6db4f3c6cfb083 SHA256: 1733906b72826f2ac5a8acef66ed42a4a672e32bbf600e11ca8b79581d4f65a1 Description: dependently-typed programming language; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-binary-dev Priority: optional Section: devel Installed-Size: 792 Maintainer: Kari Pahula Architecture: i386 Source: haskell-binary Version: 0.4.4-0.1lyh Depends: ghc6 (<< 6.8.2-999), ghc6 (>= 6.8.2) Suggests: libghc6-binary-doc Filename: unstable/libghc6-binary-dev_0.4.4-0.1lyh_i386.deb Size: 187026 MD5sum: 8609b3401b34279b1248caad00a6f2e1 SHA1: 0983f4fc6e0f98fd2d44353f007345e41979fa13 SHA256: ba0c81fb14d3b5f6034343e7c5134d5bdf9b9f929b4989c5d804aa280568dd50 Description: Haskell library for binary serialisation using lazy ByteStrings Binary serialisation of Haskell values to and from lazy ByteStrings. The Binary library provides methods for encoding Haskell values as streams of bytes directly in memory. The resulting ByteString can then be written to disk, sent over the network, or futher processed (for example, compressed with gzip). . The 'Binary' package is notable in that it provides both pure, and high performance serialisation. . Values are always encoded in network order (big endian) form, and encoded data should be portable across machine endianess, word size, or compiler version. For example, data encoded using the Binary class could be written from GHC, and read back in Hugs. Homepage: http://code.haskell.org/binary/ Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20080915-0lyh.1 Depends: emacs22, ghc6, libghc6-agda-dev, haskell-mode Recommends: agda-stdlib (>= 2.1.3~20080815) Filename: unstable/agda-mode_2.1.3~20080915-0lyh.1_all.deb Size: 31040 MD5sum: a5972701a757103a96451da1b39f86a3 SHA1: c0699b2ef2fc4452e0d65b9403421ba2b1ac1024 SHA256: be12b16ba8d474da5919b94cadd6514d82407f48376c9f1badc41e4faee4b083 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. Note: agda-mode only works with GNU Emacs 22. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-stdlib Priority: optional Section: libdevel Installed-Size: 11012 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080819-0lyh1 Recommends: agda-mode | agda Filename: unstable/agda-stdlib_2.1.3~20080819-0lyh1_i386.deb Size: 4512136 MD5sum: ccba3ecef526fdb28411ac4cb8d848cf SHA1: 33c7d4920fc32a3ec2376ef4df08680378f59d95 SHA256: 8a6c8754c5a83e0f571d0a751fc44eb0b25e4a70500a89d6a80abf18b08e2d53 Description: dependently-typed programming language; standard library This package provides the standard library for the Agda programming language. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda Priority: optional Section: devel Installed-Size: 6659 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080925-1 Depends: libc6 (>= 2.7-1), libgmp3c2, libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), zlib1g (>= 1:1.1.4) Recommends: agda-stdlib Filename: unstable/agda_2.1.3~20080925-1_i386.deb Size: 1858538 MD5sum: 93e16fbc1bfb68e131cf78064d868729 SHA1: b04428ca5b5067f7fd6fc88018dd4b346cddb29e SHA256: 7e21a1621cf1d1f8d96384f79287cc58203b17226318e3966b9d2f64f21ba7a5 Description: dependently-typed programming language This package provides the Agda compiler, as well as an interactive front-end. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-doc Priority: optional Section: doc Installed-Size: 12631 Maintainer: Liyang HU Architecture: all Source: haskell-agda Version: 2.1.3~20080915-0lyh.1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (>= 1.1.0.0), libghc6-mtl-doc (<< 1.1.0.0+), libghc6-quickcheck-doc (>= 2.0~20071112), libghc6-quickcheck-doc (<< 2.0~20071112+), libghc6-haskell-src-doc (>= 1.0.1.1), libghc6-haskell-src-doc (<< 1.0.1.1+), libghc6-binary-doc (>= 0.4.1), libghc6-binary-doc (<< 0.4.1+), libghc6-zlib-doc (>= 0.4.0.4), libghc6-zlib-doc (<< 0.4.0.4+) Suggests: libghc6-agda-dev, libghc6-agda-prof Filename: unstable/libghc6-agda-doc_2.1.3~20080915-0lyh.1_all.deb Size: 989212 MD5sum: de01fb9030eb20f48982c10c424ae924 SHA1: b3b78d690a8a7bc026e453d7fe6f514f99452da1 SHA256: 3bfb0e6d27f327c5a7658a39f7597d719534338ba5d2babce0944df6b09effc1 Description: dependently-typed programming language; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-stdlib Priority: optional Section: libdevel Installed-Size: 754 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20081118-1 Pre-Depends: agda Recommends: agda-mode Filename: unstable/agda-stdlib_2.1.3~20081118-1_i386.deb Size: 98370 MD5sum: 649b53e6282981584bd22acb0ca28d74 SHA1: dce23e55415694c0d3cebc0efa1ef2a0ae1c0e27 SHA256: 5814994453544e939e0279bd69f761efd152831686a7c48066ee4c9ef739c1e4 Description: dependently-typed programming language; standard library This package provides the standard library for the Agda programming language. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-dev Priority: optional Section: libdevel Installed-Size: 67234 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20081118-1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (>= 1.1.0.0), libghc6-mtl-dev (<< 1.1.0.0+), libghc6-quickcheck-dev (>= 2.1.0.1~20081118), libghc6-quickcheck-dev (<< 2.1.0.1~20081118+), libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 1.0.1.1+), libghc6-binary-dev (>= 0.4.4), libghc6-binary-dev (<< 0.4.4+), libghc6-zlib-dev (>= 0.4.0.4), libghc6-zlib-dev (<< 0.4.0.4+) Suggests: libghc6-agda-prof, libghc6-agda-doc Filename: unstable/libghc6-agda-dev_2.1.3~20081118-1_i386.deb Size: 9855520 MD5sum: b5e06739a5ba4652ef8dba9b60281f92 SHA1: b49966cb742d80d6f4e367a634313f6db7557582 SHA256: d2df3e5627e451a4065b664c8c719c5ab037f54d68426c973df22dfeeee57c29 Description: dependently-typed programming language This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-prof Priority: optional Section: libdevel Installed-Size: 94121 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080915-0lyh.1 Depends: libghc6-agda-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (>= 1.1.0.0), libghc6-mtl-prof (<< 1.1.0.0+), libghc6-quickcheck-prof (>= 2.0~20071112), libghc6-quickcheck-prof (<< 2.0~20071112+), libghc6-haskell-src-prof (>= 1.0.1.1), libghc6-haskell-src-prof (<< 1.0.1.1+), libghc6-binary-prof (>= 0.4.1), libghc6-binary-prof (<< 0.4.1+), libghc6-zlib-prof (>= 0.4.0.4), libghc6-zlib-prof (<< 0.4.0.4+) Suggests: libghc6-agda-doc Filename: unstable/libghc6-agda-prof_2.1.3~20080915-0lyh.1_i386.deb Size: 13733754 MD5sum: d501c150a038b6e99ad1ecf5a41bb1aa SHA1: 5cc30d5c24c721e8628609a9fe2f784ac2a33975 SHA256: 6661fb3f1fca614d882219f2d2697334e54ea79c8ae86a6d8a2ec431e2d7489d Description: dependently-typed programming language; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-zlib-prof Priority: optional Section: libdevel Installed-Size: 557 Maintainer: Liyang HU Architecture: i386 Source: haskell-zlib Version: 0.4.0.4-0lyh1 Depends: libghc6-zlib-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), zlib1g-dev Suggests: libghc6-zlib-doc Filename: unstable/libghc6-zlib-prof_0.4.0.4-0lyh1_i386.deb Size: 76004 MD5sum: 5e0309c3f6a54de2e47f33add2d274a1 SHA1: a6bfbd01410929f2afc010f2d43ba10640090d74 SHA256: 1a7cd8730db1ab8e3437d81242704acbe6263a062ad23d6bd1b86f56bfc0b8a6 Description: Compression and decompression in the gzip and zlib formats; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . This package provides a pure interface for compressing and decompressing streams of data represented as lazy 'ByteString's. It uses the zlib C library so it has high performance. It supports the "zlib", "gzip" and "raw" compression formats. It provides a convenient high level api suitable for most tasks and for the few cases where more control is needed it provides access to the full zlib feature set. Package: libghc6-agda-dev Priority: optional Section: libdevel Installed-Size: 66738 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080815-0lyh1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (= 1.1.0.0-2), libghc6-quickcheck-dev (= 2.0~20071112-0lyh1), libghc6-haskell-src-dev (= 1.0.1.1-2), libghc6-binary-dev (= 0.4.1-3), libghc6-zlib-dev (= 0.4.0.4-0lyh1) Suggests: libghc6-agda-prof, libghc6-agda-doc Filename: unstable/libghc6-agda-dev_2.1.3~20080815-0lyh1_i386.deb Size: 9691206 MD5sum: f57509c5b6110bcaaadb27de387cf79f SHA1: 2b3dfa4f050228f8deb3e85912d93a12b7195b9f SHA256: c3d6501cefd8e034df5a7a84d4557216722631abac846a6c6c2560008daadc23 Description: Agda, a dependently typed programming language This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-stdlib Priority: optional Section: libdevel Installed-Size: 702 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080819-0lyh2 Depends: agda (>= 2.1.3~20080815) Recommends: agda-mode Filename: unstable/agda-stdlib_2.1.3~20080819-0lyh2_i386.deb Size: 88744 MD5sum: 1be375207f50f2c9ffa546fbbd478eb2 SHA1: 2d336a0851b43020ce18aed06d2abf7ffb4f401e SHA256: 6348018dc3b3a0e92a319a611b937a89f28f9ad2e6a048be063857ad8bf425c9 Description: dependently-typed programming language; standard library This package provides the standard library for the Agda programming language. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-binary-doc Priority: optional Section: doc Installed-Size: 261 Maintainer: Kari Pahula Architecture: all Source: haskell-binary Version: 0.4.4-0.1lyh Filename: unstable/libghc6-binary-doc_0.4.4-0.1lyh_all.deb Size: 43702 MD5sum: eb5e8f7ef9cad4a86ef055fb038291a2 SHA1: ff90e76df872a5b387142bf94c3dd9890311b5ff SHA256: d5cd4d0ccb2aa096b043109e95ee414435a360db4a49dc9f3346c5cc17a330a5 Description: Haskell library for binary serialisation; documentation This package provides documentation for Data.Binary Haskell module. . Binary serialisation of Haskell values to and from lazy ByteStrings. The Binary library provides methods for encoding Haskell values as streams of bytes directly in memory. The resulting ByteString can then be written to disk, sent over the network, or futher processed (for example, compressed with gzip). Homepage: http://code.haskell.org/binary/ Package: agda-stdlib Priority: optional Section: libdevel Installed-Size: 746 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080904-0lyh1 Depends: agda (>= 2.1.3~20080904) Recommends: agda-mode Filename: unstable/agda-stdlib_2.1.3~20080904-0lyh1_i386.deb Size: 97406 MD5sum: 9c7311e5f521b989e092569bc122f460 SHA1: fcaffdc919e132bd7fa4b15eef3d7d315d99540b SHA256: 1f5ebbc749b4547ff6819ba40c6da77d03709f934544dd116c410b258958bfb3 Description: dependently-typed programming language; standard library This package provides the standard library for the Agda programming language. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda Priority: optional Section: devel Installed-Size: 6715 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080915-0lyh.1 Depends: libc6 (>= 2.7-1), libgmp3c2, libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), zlib1g (>= 1:1.1.4) Recommends: agda-stdlib (>= 2.1.3~20080815) Filename: unstable/agda_2.1.3~20080915-0lyh.1_i386.deb Size: 1875016 MD5sum: 34c2acff5d75d86c19277e0c05b61472 SHA1: f145d188ce6731d41e2f2a05d1a762e0ae3350a7 SHA256: cbc3e427631b6f10dc5941f9bbe7c32fbf6d522370e79165af421b8007e005af Description: dependently-typed programming language This package provides the Agda compiler, as well as an interactive front-end. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda Priority: optional Section: devel Installed-Size: 6975 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20081118-1 Depends: libc6 (>= 2.7-1), libgmp3c2, libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), zlib1g (>= 1:1.1.4) Recommends: agda-stdlib Filename: unstable/agda_2.1.3~20081118-1_i386.deb Size: 1929284 MD5sum: 6d97de89942b14c8bd234ca65430645d SHA1: d69378a8eb5ab18d79112a741e6cac053a85e9ca SHA256: e405a0315e1563e734bec58fc8974b2349bd159265461014de7ad6345e172b36 Description: dependently-typed programming language This package provides the Agda compiler, as well as an interactive front-end. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20080815-0lyh2 Depends: emacs22, ghc6, libghc6-agda-dev, haskell-mode Recommends: agda-stdlib (>= 2.1.3~20080815) Filename: unstable/agda-mode_2.1.3~20080815-0lyh2_all.deb Size: 31054 MD5sum: 3c7be6cc9dfe1c7f86e2a5754d2ccd0d SHA1: 29b155e0ec221cc1f843df6b1946c53f344fbdb3 SHA256: 6cbd83f60cde7b24d74552ea57cefdafbfc3417bec5a2ed9b6a3be03b7dfc393 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. Note: agda-mode only works with GNU Emacs 22. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-prof Priority: optional Section: libdevel Installed-Size: 92892 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080925-1 Depends: libghc6-agda-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (>= 1.1.0.0), libghc6-mtl-prof (<< 1.1.0.0+), libghc6-quickcheck-prof (>= 2.0~20071112), libghc6-quickcheck-prof (<< 2.0~20071112+), libghc6-haskell-src-prof (>= 1.0.1.1), libghc6-haskell-src-prof (<< 1.0.1.1+), libghc6-binary-prof (>= 0.4.1), libghc6-binary-prof (<< 0.4.1+), libghc6-zlib-prof (>= 0.4.0.4), libghc6-zlib-prof (<< 0.4.0.4+) Suggests: libghc6-agda-doc Filename: unstable/libghc6-agda-prof_2.1.3~20080925-1_i386.deb Size: 13562178 MD5sum: aeba55a17307b5a92e30adede27e816c SHA1: fac321990095c46c60b35c0114794687854b2dd4 SHA256: a7f8a5857f8557abb590188f4f8bcd1a3c42bd19604e3d6f2c8cdbdd07a2d263 Description: dependently-typed programming language; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-doc Priority: optional Section: doc Installed-Size: 12234 Maintainer: Liyang HU Architecture: all Source: haskell-agda Version: 2.1.3~20080815-0lyh1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (= 1.1.0.0-2), libghc6-quickcheck-doc (= 2.0~20071112-0lyh1), libghc6-haskell-src-doc (= 1.0.1.1-2), libghc6-binary-doc (= 0.4.1-3), libghc6-zlib-doc (= 0.4.0.4-0lyh1) Suggests: libghc6-agda-dev, libghc6-agda-prof Filename: unstable/libghc6-agda-doc_2.1.3~20080815-0lyh1_all.deb Size: 958156 MD5sum: bef8a706e02671ebc9c4eb225c43ec2c SHA1: 1e88f7ad3f227402cea3b0a3d4ec0ce82ec2d526 SHA256: 486d19bc9017a224198c96afcf8236001d609e29ae4431788b8555d43620768d Description: Agda, a dependently typed programming language; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20081118-1 Depends: emacs22 | emacs-snapshot, ghc6, libghc6-agda-dev (>= 2.1.3~20081118), libghc6-agda-dev (<< 2.1.3~20081118+), haskell-mode (>= 2.3) Recommends: agda-stdlib Filename: unstable/agda-mode_2.1.3~20081118-1_all.deb Size: 31048 MD5sum: cc076a5498666bac98a5f80f47cb2d4f SHA1: 98892a3d505ec2b98b88c8592a8e792087affc78 SHA256: aa27bfba3f8a753a607909c725d8732e500341e46dbd6b206ae8fc8659c5bef5 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. Note: agda-mode only works with GNU Emacs. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-quickcheck-prof Priority: optional Section: libdevel Installed-Size: 2342 Maintainer: Liyang HU Architecture: i386 Source: haskell-quickcheck Version: 2.1.0.1~20081118-1 Depends: libghc6-quickcheck-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (>= 1.1.0.0), libghc6-mtl-prof (<< 1.1.0.0+) Suggests: libghc6-quickcheck-doc Filename: unstable/libghc6-quickcheck-prof_2.1.0.1~20081118-1_i386.deb Size: 390022 MD5sum: 6e292378e695fdeaa227e7e93c876736 SHA1: cdc70186bb487c319cb0a27db6b918c291a1a36e SHA256: cba7e50ab2024bf7deac0c571d2ef669f11b3e20b65fa53c69196ee7ff06ff14 Description: A library for random testing of program properties; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20080915-0lyh.2 Depends: emacs22 | emacs-snapshot, ghc6, libghc6-agda-dev (>= 2.1.3~20080915), libghc6-agda-dev (<< 2.1.3~20080915+), haskell-mode (>= 2.3) Recommends: agda-stdlib Filename: unstable/agda-mode_2.1.3~20080915-0lyh.2_all.deb Size: 30936 MD5sum: 07a1a858ca7a6e46e52cafce39a13e71 SHA1: 46716a82da4199f92d574f46e9498714ea643164 SHA256: 3971c9809ccfec71c26c5095d3146a02a158c5d12c91ec7751e54605fc351999 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. Note: agda-mode only works with GNU Emacs. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-quickcheck-prof Priority: optional Section: libdevel Installed-Size: 1714 Maintainer: Liyang HU Architecture: i386 Source: haskell-quickcheck Version: 2.0~20071112-0lyh1 Depends: libghc6-quickcheck-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (= 1.1.0.0-2) Suggests: libghc6-quickcheck-doc Filename: unstable/libghc6-quickcheck-prof_2.0~20071112-0lyh1_i386.deb Size: 305256 MD5sum: 881ff3a30610d62bce77a14204298011 SHA1: a7c60269a188a9e098de5c9304cecd58e0f04b8d SHA256: 6479fe25047ab9445b6261af8830116d47f23864b66101d253cf3dc746a2da9f Description: A library for random testing of program properties; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for random testing of program properties. Package: libghc6-agda-prof Priority: optional Section: libdevel Installed-Size: 91686 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080815-0lyh1 Depends: libghc6-agda-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (= 1.1.0.0-2), libghc6-quickcheck-prof (= 2.0~20071112-0lyh1), libghc6-haskell-src-prof (= 1.0.1.1-2), libghc6-binary-prof (= 0.4.1-3), libghc6-zlib-prof (= 0.4.0.4-0lyh1) Suggests: libghc6-agda-doc Filename: unstable/libghc6-agda-prof_2.1.3~20080815-0lyh1_i386.deb Size: 13304654 MD5sum: 4e6886cd53f54b976ee535119b3aa2ef SHA1: 3aeff25a5cba767b69ea21e6f7bcfed43c25e930 SHA256: 6a01206d5b56b3c70eeaaddb4631673c704cca93c04c54833e1f560c84da3d27 Description: Agda, a dependently typed programming language; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-dev Priority: optional Section: libdevel Installed-Size: 68400 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20080915-0lyh.1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (>= 1.1.0.0), libghc6-mtl-dev (<< 1.1.0.0+), libghc6-quickcheck-dev (>= 2.0~20071112), libghc6-quickcheck-dev (<< 2.0~20071112+), libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 1.0.1.1+), libghc6-binary-dev (>= 0.4.1), libghc6-binary-dev (<< 0.4.1+), libghc6-zlib-dev (>= 0.4.0.4), libghc6-zlib-dev (<< 0.4.0.4+) Suggests: libghc6-agda-prof, libghc6-agda-doc Filename: unstable/libghc6-agda-dev_2.1.3~20080915-0lyh.1_i386.deb Size: 9979568 MD5sum: 79cfdeaed05ba80406580f2d401b8aa8 SHA1: 14464081d976c19cbead945a2eebdff82857de7c SHA256: e4d2e3dcfb951280ff96d8c3bb7125f71c22348643f4a02e32756c14003aca86 Description: dependently-typed programming language This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-quickcheck-doc Priority: optional Section: doc Installed-Size: 982 Maintainer: Liyang HU Architecture: all Source: haskell-quickcheck Version: 2.1.0.1~20081118-1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (>= 1.1.0.0), libghc6-mtl-doc (<< 1.1.0.0+) Suggests: libghc6-quickcheck-dev, libghc6-quickcheck-prof Filename: unstable/libghc6-quickcheck-doc_2.1.0.1~20081118-1_all.deb Size: 76062 MD5sum: 0e2d874f706ca664b256efa161e974c1 SHA1: 9e4d3f7dc4b6ba64a5f0a831ed4b28b6213a6337 SHA256: 8abdbd698aca01d7e493416a1c74dafc395e2ec2d7e43551311511c53a71c4b1 Description: A library for random testing of program properties; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. Package: libghc6-zlib-dev Priority: optional Section: libdevel Installed-Size: 556 Maintainer: Liyang HU Architecture: i386 Source: haskell-zlib Version: 0.4.0.4-0lyh1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), zlib1g-dev Suggests: libghc6-zlib-prof, libghc6-zlib-doc Filename: unstable/libghc6-zlib-dev_0.4.0.4-0lyh1_i386.deb Size: 77692 MD5sum: c3fd168dcd46ac92d346dbf91fd27cab SHA1: d75f80ea8de3c082c8fc265c05a07d96002d5ed0 SHA256: 357e65b0c0d6ac6c325b6d822d14ef38af9b2dcb9b24815e0439ad2fdb149d44 Description: Compression and decompression in the gzip and zlib formats This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . This package provides a pure interface for compressing and decompressing streams of data represented as lazy 'ByteString's. It uses the zlib C library so it has high performance. It supports the "zlib", "gzip" and "raw" compression formats. It provides a convenient high level api suitable for most tasks and for the few cases where more control is needed it provides access to the full zlib feature set. Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20080925-1 Depends: emacs22 | emacs-snapshot, ghc6, libghc6-agda-dev (>= 2.1.3~20080925), libghc6-agda-dev (<< 2.1.3~20080925+), haskell-mode (>= 2.3) Recommends: agda-stdlib Filename: unstable/agda-mode_2.1.3~20080925-1_all.deb Size: 30998 MD5sum: c1e260bf51f331c22248c5f79b86a0ba SHA1: ce328e6816d6a1c63cc25cf8c28ff3252c948dca SHA256: abc61ed42a2b4782644f62ec3674b7f5e682003c6f08b6ebac78b776eb867139 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. Note: agda-mode only works with GNU Emacs. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-zlib-doc Priority: optional Section: doc Installed-Size: 321 Maintainer: Liyang HU Architecture: all Source: haskell-zlib Version: 0.4.0.4-0lyh1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+) Suggests: libghc6-zlib-dev, libghc6-zlib-prof Filename: unstable/libghc6-zlib-doc_0.4.0.4-0lyh1_all.deb Size: 29774 MD5sum: 81cac4630b2b8e3d015803b1dd1c147b SHA1: a1d1cbcd620e61423354730f130c9767f9b3c902 SHA256: 529a691a7f2e6805c2ad1a17466ede6373d0ed92654146105c8a8831408e10ff Description: Compression and decompression in the gzip and zlib formats; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . This package provides a pure interface for compressing and decompressing streams of data represented as lazy 'ByteString's. It uses the zlib C library so it has high performance. It supports the "zlib", "gzip" and "raw" compression formats. It provides a convenient high level api suitable for most tasks and for the few cases where more control is needed it provides access to the full zlib feature set. Package: libghc6-agda-prof Priority: optional Section: libdevel Installed-Size: 92379 Maintainer: Liyang HU Architecture: i386 Source: haskell-agda Version: 2.1.3~20081118-1 Depends: libghc6-agda-dev, ghc6-prof (>= 6.8.2), ghc6-prof (<< 6.8.2+), libghc6-mtl-prof (>= 1.1.0.0), libghc6-mtl-prof (<< 1.1.0.0+), libghc6-quickcheck-prof (>= 2.1.0.1~20081118), libghc6-quickcheck-prof (<< 2.1.0.1~20081118+), libghc6-haskell-src-prof (>= 1.0.1.1), libghc6-haskell-src-prof (<< 1.0.1.1+), libghc6-binary-prof (>= 0.4.4), libghc6-binary-prof (<< 0.4.4+), libghc6-zlib-prof (>= 0.4.0.4), libghc6-zlib-prof (<< 0.4.0.4+) Suggests: libghc6-agda-doc Filename: unstable/libghc6-agda-prof_2.1.3~20081118-1_i386.deb Size: 13532928 MD5sum: f9d45d66cbef238e0cb897db2e94fcbc SHA1: b45dcafe39a665d58ecd4599c1ee286a2d5c164f SHA256: 6b4df08e95851250b2fa9b9b10a7e0471d7d48ece6418be96ed846c5c08a9471 Description: dependently-typed programming language; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda Priority: optional Section: devel Installed-Size: 6546 Maintainer: Liyang HU Architecture: i386 Version: 2.1.3~20080815-0lyh1 Depends: libc6 (>= 2.7-1), libgmp3c2, libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), zlib1g (>= 1:1.1.4) Recommends: agda-stdlib (>= 2.1.3~20080815) Filename: unstable/agda_2.1.3~20080815-0lyh1_i386.deb Size: 1819512 MD5sum: 38d09d49d7c299307a9bcd86eea954f6 SHA1: 0861815152f0d68db5af2d67d0437fce1d3af91d SHA256: 3221985bb7c166d3bfa98fa7725b6a3937a013c724786b7be0069b08af1c93d5 Description: dependently-typed programming language This package provides the Agda compiler, as well as an interactive front-end. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-agda-doc Priority: optional Section: doc Installed-Size: 12595 Maintainer: Liyang HU Architecture: all Source: haskell-agda Version: 2.1.3~20081118-1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (>= 1.1.0.0), libghc6-mtl-doc (<< 1.1.0.0+), libghc6-quickcheck-doc (>= 2.1.0.1~20081118), libghc6-quickcheck-doc (<< 2.1.0.1~20081118+), libghc6-haskell-src-doc (>= 1.0.1.1), libghc6-haskell-src-doc (<< 1.0.1.1+), libghc6-binary-doc (>= 0.4.4), libghc6-binary-doc (<< 0.4.4+), libghc6-zlib-doc (>= 0.4.0.4), libghc6-zlib-doc (<< 0.4.0.4+) Suggests: libghc6-agda-dev, libghc6-agda-prof Filename: unstable/libghc6-agda-doc_2.1.3~20081118-1_all.deb Size: 988734 MD5sum: a2ec46a0fa73057cdabaf8339c8646d6 SHA1: 9c6b2e16efc22bfbf3c23bbefbe835582c496645 SHA256: 4703a1321aeaf0e8a32e51d5300cc26abd848e3c45f92a4f6f4ada632dbc7ae6 Description: dependently-typed programming language; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: agda-mode Priority: optional Section: devel Installed-Size: 140 Maintainer: Liyang HU Architecture: all Version: 2.1.3~20080815-0lyh1 Depends: emacs22 | xemacs22 | emacsen, ghc6, libghc6-agda-dev, haskell-mode Recommends: agda-stdlib (>= 2.1.3~20080815) Filename: unstable/agda-mode_2.1.3~20080815-0lyh1_all.deb Size: 30894 MD5sum: 6c458aa9afa1bb8a3e35d48543bc572c SHA1: d6e3d1f8d0f24f99b5195508281c7502ce44a532 SHA256: ff3cbf3ff37abd0d4d6c627364a08a97718a6968d22100ba599c224141da9156 Description: dependently-typed programming language; Emacs mode A major Emacs mode for interactive editing of Agda programs. . Agda is a dependently typed programming language with good support for inductively-defined families of types. . Because Agda implements an extension of Martin-Löf type theory, it can be used as a proof assistant: the user can prove mathematical theorems (in a constructive setting), and the resulting proofs can be run as algorithms. Package: libghc6-quickcheck-doc Priority: optional Section: doc Installed-Size: 813 Maintainer: Liyang HU Architecture: all Source: haskell-quickcheck Version: 2.0~20071112-0lyh1 Depends: ghc6-doc (>= 6.8.2), ghc6-doc (<< 6.8.2+), libghc6-mtl-doc (= 1.1.0.0-2) Suggests: libghc6-quickcheck-dev, libghc6-quickcheck-prof Filename: unstable/libghc6-quickcheck-doc_2.0~20071112-0lyh1_all.deb Size: 62594 MD5sum: 6a004adeb7da0a3a096c7c1d71256643 SHA1: c9045df4ddb9a4e4618a8350c87beebdda497299 SHA256: 7bd495f16c7db8441b3af96867f190b74b776f284caa19872d474bf8b65854b1 Description: A library for random testing of program properties; documentation This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for random testing of program properties. Package: libghc6-quickcheck-dev Priority: optional Section: libdevel Installed-Size: 2126 Maintainer: Liyang HU Architecture: i386 Source: haskell-quickcheck Version: 2.1.0.1~20081118-1 Depends: ghc6 (>= 6.8.2), ghc6 (<< 6.8.2+), libghc6-mtl-dev (>= 1.1.0.0), libghc6-mtl-dev (<< 1.1.0.0+) Suggests: libghc6-quickcheck-prof, libghc6-quickcheck-doc Filename: unstable/libghc6-quickcheck-dev_2.1.0.1~20081118-1_i386.deb Size: 352788 MD5sum: 9dec7c24d72d6aa76ca0e91bac23f10b SHA1: 8a79e70cf779c140fc97002c5429864662b7180a SHA256: 431e598bb4f0a4748f04fcf5c094ad25db499ccbe57485c54aa4313ee74581f6 Description: A library for random testing of program properties This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . QuickCheck is a library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.