summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump missingh to 1.2.0.0Mark Wright2012-11-181-4/+6
* Bump missingh to 1.2.0.0Mark Wright2012-11-182-1/+76
* Patch hs3 0.5.6 for ghc 7.6.1, EAPI=5Mark Wright2012-11-181-2/+13
* Patch hs3 0.5.6 for ghc 7.6.1, EAPI=5Mark Wright2012-11-183-16/+47
* Patch crypto 4.2.5 for ghc 7.6.1, EAPI=5Mark Wright2012-11-181-2/+13
* Patch crypto 4.2.5 for ghc 7.6.1, EAPI=5Mark Wright2012-11-183-10/+109
* Bump hslogger to 1.2.1Mark Wright2012-11-181-1/+13
* Bump hslogger to 1.2.1Mark Wright2012-11-182-1/+32
* Bump temporary to 1.1.2.4Mark Wright2012-11-181-1/+13
* Bump temporary to 1.1.2.4Mark Wright2012-11-182-1/+29
* Bump iconv to 0.4.1.1Mark Wright2012-11-181-1/+13
* Bump iconv to 0.4.1.1Mark Wright2012-11-182-1/+29
* Bump hashed-storage to 0.5.10Mark Wright2012-11-181-1/+13
* Bump hashed-storage to 0.5.10Mark Wright2012-11-182-1/+52
* Bump mmap to 0.5.8Mark Wright2012-11-181-1/+13
* Bump mmap to 0.5.8Mark Wright2012-11-182-1/+50
* Bump dataenc to 0.14.0.4Mark Wright2012-11-181-1/+13
* Bump dataenc to 0.14.0.4Mark Wright2012-11-182-1/+29
* Add geniplate for agda 2.3.2Mark Wright2012-11-181-0/+14
* Add geniplate for agda 2.3.2Mark Wright2012-11-183-0/+44
* Add unordered-containers for agda 2.3.2Mark Wright2012-11-181-0/+14
* Add unordered-containers for agda 2.3.2Mark Wright2012-11-183-0/+56
* Bump regex-pcre-builtin to 0.94.4.1.8.31Mark Wright2012-11-181-1/+13
* Bump regex-pcre-builtin to 0.94.4.1.8.31Mark Wright2012-11-182-1/+34
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-181-1/+12
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-184-0/+50
* Bump unix-compat to 0.4.0.0Mark Wright2012-11-181-4/+6
* Bump unix-compat to 0.4.0.0Mark Wright2012-11-182-1/+29
* Bump parallel to 3.2.0.3Mark Wright2012-11-181-1/+13
* Bump parallel to 3.2.0.3Mark Wright2012-11-182-1/+31
* haskeline 0.6.4.7 requires extensible-exceptionsMark Wright2012-11-181-1/+12
* haskeline 0.6.4.7 requires extensible-exceptionsMark Wright2012-11-182-1/+42
* Bump vector to 0.10.0.1Mark Wright2012-11-181-4/+6
* Bump vector to 0.10.0.1Mark Wright2012-11-182-1/+31
* Bump primitive to 0.5.0.1Mark Wright2012-11-181-4/+6
* Bump primitive to 0.5.0.1Mark Wright2012-11-182-1/+29
* Bump hashtables to 1.0.1.8Mark Wright2012-11-181-1/+13
* Bump hashtables to 1.0.1.8Mark Wright2012-11-182-1/+35
* Bump stm to 2.4.2Mark Wright2012-11-181-1/+13
* Bump stm to 2.4.2Mark Wright2012-11-182-1/+29
* Bump hashable to 1.1.2.5Mark Wright2012-11-181-1/+13
* Bump hashable to 1.1.2.5Mark Wright2012-11-182-1/+35
* Bump zlib to 0.5.4.0Mark Wright2012-11-181-1/+13
* Bump zlib to 0.5.4.0Mark Wright2012-11-182-1/+30
* Bump test-framework-quickcheck2 to 0.2.12.3Mark Wright2012-11-181-4/+6
* Bump test-framework-quickcheck2 to 0.2.12.3Mark Wright2012-11-182-1/+36
* Bump test-framework to 0.6.1Mark Wright2012-11-181-11/+3
* Bump test-framework to 0.6.1Mark Wright2012-11-182-1/+37
* Bump quickcheck to 2.5.1.1Mark Wright2012-11-181-4/+6
* Bump quickcheck to 2.5.1.1Mark Wright2012-11-182-1/+41