Index of /code.haskell.org/QuickSpec/_darcs/patches/


../
0000000161-9894291c8eebcb7c9ff3fb6aac8240eda996..> 15-Feb-2019 12:54                 161
0000000165-b6dfcc60e99f95d78d4f0b0f94275017c476..> 15-Feb-2019 12:54                 165
0000000170-c278c1f754e9867321dceec9e6f414457ee8..> 15-Feb-2019 12:54                 164
0000000180-94404adfd44c95acf9402a471326bb3a9a1f..> 15-Feb-2019 12:54                 173
0000000185-32af444e37bafd2b579993e6bf8cb1451aa4..> 15-Feb-2019 12:54                 180
0000000203-bda16b9fbb036847a1535fef5eef85afbd1c..> 15-Feb-2019 12:54                 182
0000000219-1ba2552d2dfccab158edf43d153453a56d7e..> 15-Feb-2019 12:54                 182
0000000234-63dccbae0f61daa299f80e7640a0d0b887a4..> 15-Feb-2019 12:54                 203
0000000236-f0b54de1e7cb063079d9323081dd84f85fe5..> 15-Feb-2019 12:54                 207
0000000240-7b78edd33a2ad350aaa932ea42f4df4a2b80..> 15-Feb-2019 12:54                 219
0000000248-8e9e19b93fceb5f5f7246ba22c388852dea6..> 15-Feb-2019 12:54                 202
0000000253-58a069c62bf93e87b1d723817515b971b77c..> 15-Feb-2019 12:54                 207
0000000258-25fa20f71e414d5e782d47029c7c62569c38..> 15-Feb-2019 12:54                 208
0000000259-7927d3877c7c933863869b1bb8736740ab50..> 15-Feb-2019 12:54                 209
0000000259-b32354edd866a3778ddb651baec835f5f0b5..> 15-Feb-2019 12:54                 206
0000000260-798b71144e3a65acc86a423fd7be12871294..> 15-Feb-2019 12:54                 211
0000000262-60f3719a2efbbe13c3703aba4340d979e630..> 15-Feb-2019 12:54                 209
0000000273-cae06dc6fe9cd0ac1bcd5db5defeed7d81a7..> 15-Feb-2019 12:54                 215
0000000275-a4facbab020b8b5a10cb6825983f5a80ddec..> 15-Feb-2019 12:54                 228
0000000279-7f30570d7c89abd55c087d353f6a68505915..> 15-Feb-2019 12:54                 223
0000000279-b815a6f0e02f1714e9d4aad651be3e2facda..> 15-Feb-2019 12:54                 231
0000000280-a13223a2ebdd7f2484ef46d29df731d09785..> 15-Feb-2019 12:54                 209
0000000285-9752e55d467bd3d077ab7a5d4ab063f816f9..> 15-Feb-2019 12:54                 207
0000000287-8b56560096e072f3e0a8e0990bc4d117e979..> 15-Feb-2019 12:54                 207
0000000289-c3802cddf5533fb62de0f46cce145d2f6b8d..> 15-Feb-2019 12:54                 224
0000000290-d648fe99c302f214d5f958bbd899ee6d90ad..> 15-Feb-2019 12:54                 225
0000000298-eb891c1e9e35fc090cfeb5fbfe06760aba92..> 15-Feb-2019 12:54                 246
0000000299-0d3d8e75635097c47fd6581684af9c9a25c3..> 15-Feb-2019 12:54                 216
0000000301-f4232dd40609d6d2aee90465ec0b6af26f1a..> 15-Feb-2019 12:54                 217
0000000306-acf0d1457fc5e7e13b9f78779361f41b177a..> 15-Feb-2019 12:54                 257
0000000309-26d47a237c07c5d6ff5f71db87d2bf84f964..> 15-Feb-2019 12:54                 210
0000000318-e046022b9c3579c0f23c6dd311f30cdfa2f9..> 15-Feb-2019 12:54                 236
0000000319-e889021e25102ce97ccc48825e4945472272..> 15-Feb-2019 12:54                 254
0000000323-3626a981bbff64e594a83bd9d73f44947273..> 15-Feb-2019 12:54                 239
0000000323-5dc6ce4c07b2f0673fdb10f8b6100648fd47..> 15-Feb-2019 12:54                 234
0000000324-d297daa82463dd5a4a42c7dc20e6d2bf5f64..> 15-Feb-2019 12:54                 244
0000000327-560882f541b1195b5c1ee69470417d20dae2..> 15-Feb-2019 12:54                 233
0000000330-6b9b58fbee4a65f61adae45da9ccdbb1882f..> 15-Feb-2019 12:54                 240
0000000330-859628a1ff37642fcf63c000638478adec94..> 15-Feb-2019 12:54                 252
0000000335-9ffd168dc1ed559cfdba9d45299510318d7d..> 15-Feb-2019 12:54                 242
0000000339-e4c22ef16fe23b4bf239db32eb0938ca55ab..> 15-Feb-2019 12:54                 228
0000000343-b68933f1d6749d63d07c72891a8a22705bf5..> 15-Feb-2019 12:54                 243
0000000353-4cce39c818796adffed2815a9cc16022f01b..> 15-Feb-2019 12:54                 256
0000000357-ecb1fdad90c4e704d1a685b4e59d9c828097..> 15-Feb-2019 12:54                 233
0000000358-0e47d4d9b710975020054a9d7573060aaeb1..> 15-Feb-2019 12:54                 260
0000000377-1835993b3577a6b98ea8aade53b373bc9542..> 15-Feb-2019 12:54                 278
0000000379-0bd9f808d9435d3ae54fd5b23141a1bca01f..> 15-Feb-2019 12:54                 265
0000000389-eb29c8ef2166087c1914a5bfe50793c4377f..> 15-Feb-2019 12:54                 268
0000000400-9e2046d862d939fa8873c4a9e81bc19ed005..> 15-Feb-2019 12:54                 284
0000000409-9db4492568611254fea8a14ebbe57f8984b0..> 15-Feb-2019 12:54                 266
0000000415-cd0c0ddc4d3bc772d89639f72cd3c14c3239..> 15-Feb-2019 12:54                 283
0000000420-c5f153c9fc50696dc66180a86e83c70f65a8..> 15-Feb-2019 12:54                 280
0000000423-6bb016366a28e17116b15a86f8829c4c34fa..> 15-Feb-2019 12:54                 303
0000000432-4d912eff16ef7165e3dcf2eec40363468151..> 15-Feb-2019 12:54                 273
0000000441-006cd913c2a34562dc9a22247d9693d8b4a6..> 15-Feb-2019 12:54                 280
0000000444-954ee78cb6d4889b3155f942122b7724c992..> 15-Feb-2019 12:54                 270
0000000448-ff6d56988a20156a65cf6d792fe3d2ee8fa4..> 15-Feb-2019 12:54                 316
0000000457-077b05ef8b7ef76b3e403b8d365c3a358bc0..> 15-Feb-2019 12:54                 322
0000000463-e381198c30f05145c43be6139d5db362ba14..> 15-Feb-2019 12:54                 255
0000000476-ac8a8d1b481320babb95712728c21ac547c9..> 15-Feb-2019 12:54                 265
0000000478-e9c038e1eee4add89d3f42554ecf2ae0fb7b..> 15-Feb-2019 12:54                 282
0000000492-d947ba0fa7c3e2d7b173a79c23e0a0f746bf..> 15-Feb-2019 12:54                 283
0000000496-58199d1d8c531c3bb429568d52fbc5a302a3..> 15-Feb-2019 12:54                 313
0000000507-db6d6be3d6ce6c3bb97d57be69244e99eb36..> 15-Feb-2019 12:54                 332
0000000516-9ac137d29289158345e1363e4b990bf6f38c..> 15-Feb-2019 12:54                 351
0000000543-f90739ceb69cd52cef257fe8e2fd8c3abdef..> 15-Feb-2019 12:54                 328
0000000564-40d3c387189a28f612550a59a68925926ba0..> 15-Feb-2019 12:54                 350
0000000597-4bc5f64e21714345c3594070828e375805fd..> 15-Feb-2019 12:54                 260
0000000621-d5ecc42cd55123428ec35af88f7922d91c5c..> 15-Feb-2019 12:54                 345
0000000627-d197aa4476c380a0d319fa39dc943583ff0b..> 15-Feb-2019 12:54                 399
0000000635-770063899215b14979ba047467f67aa36396..> 15-Feb-2019 12:54                 327
0000000651-88c4eba8cf979bbb945d89d3ab28bf1a887d..> 15-Feb-2019 12:54                 387
0000000692-cf379fccd08af75375f0bfefe89892a28134..> 15-Feb-2019 12:54                 384
0000000694-e8327c54fd95ea06aa9ee8cd297f46d59464..> 15-Feb-2019 12:54                 337
0000000714-19505e07bd8d1259fd5150fe5d2e14e5652b..> 15-Feb-2019 12:54                 407
0000000717-88c9c2295c5b2a7677029b586522743e70f3..> 15-Feb-2019 12:54                 355
0000000718-3455ea6849834a56cc413041660d05f7980b..> 15-Feb-2019 12:54                 383
0000000740-ff3270326241761cc85742d9ab457c4f91b7..> 15-Feb-2019 12:54                 384
0000000745-bf98591a8816bd6e13bc7239816536cb6f46..> 15-Feb-2019 12:54                 347
0000000750-abcd3a7df5b2798b196631253b4303d599e6..> 15-Feb-2019 12:54                 359
0000000773-b3b9ba35dbdd91d368970cb085ac95a78dbd..> 15-Feb-2019 12:54                 344
0000000844-413ba3126834d15dffbd3c162c71ad2dec82..> 15-Feb-2019 12:54                 431
0000000849-abc24c246d04407ebd867fc20ad0c3f14026..> 15-Feb-2019 12:54                 485
0000000852-9c63e82fb837cd5d4166f15e129430cff99d..> 15-Feb-2019 12:54                 471
0000000880-878012278f82d68532dc9a15cdab8dfe9256..> 15-Feb-2019 12:54                 486
0000000909-d085ec70be9fdbd22ebda9a8dbf95569b4e9..> 15-Feb-2019 12:54                 461
0000000919-d75e4cd71b62c12c4abb1c64ba01e785ac32..> 15-Feb-2019 12:54                 407
0000000928-42e9e48680c609675dfbbb373d4f0e672a51..> 15-Feb-2019 12:54                 369
0000000948-ee81d1cb11e31a53251780868adda478e237..> 15-Feb-2019 12:54                 460
0000001003-a24e4ddf86b202fe8cbfa69fd77bfcdbe455..> 15-Feb-2019 12:54                 446
0000001050-755890be7c3efef8524ada4b0b7769981d26..> 15-Feb-2019 12:54                 413
0000001057-1d0d7b984e32cbe8869d3a2f410cc486f27f..> 15-Feb-2019 12:54                 525
0000001063-823b8862ce604b12cbb1cf46354ce891b2dc..> 15-Feb-2019 12:54                 542
0000001087-7077933269649e66522675a08fde43a04061..> 15-Feb-2019 12:54                 539
0000001092-5cdd04887ce153564fe18e0a0e8a66df6157..> 15-Feb-2019 12:54                 517
0000001158-cdeb7078a7334652b0f0f24176fbcd68471d..> 15-Feb-2019 12:54                 466
0000001170-b22c1d3e4c0a541ce17002430b9da071826d..> 15-Feb-2019 12:54                 574
0000001243-7cf556d3939005bedb73cd69a41f4943b431..> 15-Feb-2019 12:54                 476
0000001249-a10994092035ff1a633e3360af3e82ef9c30..> 15-Feb-2019 12:54                 613
0000001271-30b2f4ee8264302e29776f8978fb914b7690..> 15-Feb-2019 12:54                 517
0000001312-8e5224829932cb8f8c0176d16e6389e61e7c..> 15-Feb-2019 12:54                 468
0000001339-af3bab12afe5a46b9a9da1f81eb0733e2848..> 15-Feb-2019 12:54                 626
0000001368-29919aa40e4242494d444cd80fdf203d7b31..> 15-Feb-2019 12:54                 647
0000001377-4e60883bbf9acea622ba43709a32e8c10516..> 15-Feb-2019 12:54                 604
0000001388-abac5a1bb133d0bb6be9ed7dbc8e2ccdcbc4..> 15-Feb-2019 12:54                 590
0000001416-0d5c85a1cbb82cc9b5d61ecad4c03755dcad..> 15-Feb-2019 12:54                 573
0000001428-681488fcc6a21172e88e5590cd3813fd7967..> 15-Feb-2019 12:54                 616
0000001438-f7cd4c0cc0fa4825a40567fd8a98f29d8cb8..> 15-Feb-2019 12:54                 604
0000001479-e4b1c0f7416dc6591f533f93786fef264198..> 15-Feb-2019 12:54                 561
0000001480-9898658604ac9167745d7a0d3e1702ed8812..> 15-Feb-2019 12:54                 665
0000001491-241438b35f9fdb4092885aeb8c1541e8d9cc..> 15-Feb-2019 12:54                 628
0000001555-b3226f1f43f03b97cc8d42b94bf26b2773f8..> 15-Feb-2019 12:54                 658
0000001558-28de217218004235da3fbfeb95f2c6c9e2b9..> 15-Feb-2019 12:54                 662
0000001574-547b9e9327e2eafd40e12b306eaf5f7ded59..> 15-Feb-2019 12:54                 697
0000001591-94007f53e36eb4cf4035de14086c97ff46e3..> 15-Feb-2019 12:54                 465
0000001623-2ddd2d2133af33181aaae0814f7b7d95d8bb..> 15-Feb-2019 12:54                 641
0000001665-41f1595d9aac79475f8628606c09422d9fe5..> 15-Feb-2019 12:54                 543
0000001689-b6a20a42af0aace09e5bbcdb1e40421186ef..> 15-Feb-2019 12:54                 942
0000001754-ec2805663a9f023b0c7946b5c8f3e572f000..> 15-Feb-2019 12:54                 744
0000001777-750ff41d4ac3cde4a03c85a026092c7095d2..> 15-Feb-2019 12:54                 588
0000001814-a111fc1d67cf19d7faba6f33bdd36968da55..> 15-Feb-2019 12:54                 815
0000001826-99abbd9154f334bd6022891cd15642ddb269..> 15-Feb-2019 12:54                 764
0000001839-2afeb5e9776e36e794eb517082881e283a85..> 15-Feb-2019 12:54                 683
0000001902-2328cd36f97245b31e8dfb85e7d4a4396222..> 15-Feb-2019 12:54                 611
0000001921-05d8c106021f6ab8e66e6365cacac3cdfc3f..> 15-Feb-2019 12:54                 761
0000002025-77ca89586d9ff2e13b0d5d6b71bd1733e134..> 15-Feb-2019 12:54                 762
0000002130-08e967c1bb6ac26f1053344cdb15d0a96a45..> 15-Feb-2019 12:54                 886
0000002167-afda42d83d51bb667770cfc97bee4cfc6f9f..> 15-Feb-2019 12:54                 767
0000002174-504d221c97a32b8fe3764c99a7e164dd0431..> 15-Feb-2019 12:54                 736
0000002234-5ba37227c67fd9c85af290cbca8b9d763580..> 15-Feb-2019 12:54                 855
0000002259-8f1588f5da9ce15257f9d2d83079c18ce6fc..> 15-Feb-2019 12:54                 951
0000002264-756938042fd47746e16e384aa5e729b5479e..> 15-Feb-2019 12:54                 965
0000002312-6f5bb48033b4c05b5d06aef45c423afa0b50..> 15-Feb-2019 12:54                 766
0000002324-ea6a87f2e2f2b7324263c9804293af18ab2e..> 15-Feb-2019 12:54                 927
0000002393-d609c8b63f6fea1df2d9ef67eb9ad3cbe660..> 15-Feb-2019 12:54                 809
0000002412-30b8d6571e833775c4ab7811fe44da3354c3..> 15-Feb-2019 12:54                 997
0000002577-2db049bee89f2a02fc436ce8eeb9733eda2d..> 15-Feb-2019 12:54                 871
0000002600-3f68b57025269bb77ffbd513d428e7fe105e..> 15-Feb-2019 12:54                 923
0000002609-c43cf2458ff215aae6ccc1678286ed44b1da..> 15-Feb-2019 12:54                 770
0000002615-acbc9dc7dbf8f6c2b3e593cf2a1bebb9cf9d..> 15-Feb-2019 12:54                 873
0000002624-460fa90c36c7fa6f153bb5f2e6833b684687..> 15-Feb-2019 12:54                1146
0000002624-dcbc358b852a68f0a8adbeacc86e140b7ec7..> 15-Feb-2019 12:54                 932
0000002670-67f414d30b26dcb3f3276e43f2997cb4962f..> 15-Feb-2019 12:54                1157
0000002773-7ecc5002e659c9e1b2e24d290f3d6e9fb58b..> 15-Feb-2019 12:54                1104
0000002894-4f49ff6abcc2aa3dffcb1f07bc0a51668572..> 15-Feb-2019 12:54                 990
0000002902-49af02573188cfd36a4291200ebe6e89e77c..> 15-Feb-2019 12:54                1133
0000002961-c0d0aa9e7054642c533d6508e01f9854a7b2..> 15-Feb-2019 12:54                1009
0000003019-e0850861bf1fbd919984619eaedc7e771d2f..> 15-Feb-2019 12:54                1249
0000003328-a202eca719f51342ce630164a97d1dfb8832..> 15-Feb-2019 12:54                1029
0000003343-f48a1734e61002bcd6f38c178fe0b195cf27..> 15-Feb-2019 12:54                1173
0000003428-a0e53150ad4b84454695d31bc4f21f824aa4..> 15-Feb-2019 12:54                1219
0000003437-77d338a6900c5edfae758c0f06f89794edf3..> 15-Feb-2019 12:54                1141
0000003451-fcd4d6035fff0d5c57d1616db1bcee9a71ba..> 15-Feb-2019 12:54                1236
0000003503-adb100bb0ebba3af1489f834f082db15a456..> 15-Feb-2019 12:54                1368
0000003515-62b48e0896e4fb057ef60c2eaba8ff7b7161..> 15-Feb-2019 12:54                1154
0000003662-6431d6de9061c127af8bdf58c0bba91fbdd0..> 15-Feb-2019 12:54                1529
0000003719-746dd7c05310c2d23285aca2927432561d7f..> 15-Feb-2019 12:54                1219
0000003780-85077ce8eae1801ecf3bab414f680be01720..> 15-Feb-2019 12:54                1289
0000003828-e9eb2e54e8c0224f102d3d5dcdc26d46aca2..> 15-Feb-2019 12:54                1205
0000004125-4f140b8b54d00aeb05e2223f63e5902f15c5..> 15-Feb-2019 12:54                1316
0000004156-195eb2b66ca8a43399c2d1d0a7d1e8fdc23e..> 15-Feb-2019 12:54                1551
0000004265-884bae40be39a4ca3e48b298a9320bf9d1b5..> 15-Feb-2019 12:54                1085
0000004547-df0633ddd52494b20d063aa4dc85273d00b3..> 15-Feb-2019 12:54                1668
0000004582-2254e5783d9b8c6975e819aff0f9941c02cc..> 15-Feb-2019 12:54                1375
0000004864-1c7d7ff49f26e50285cc2940ad096007ad88..> 15-Feb-2019 12:54                1550
0000004929-975122e7445120cf3915b57953819bdb0e5d..> 15-Feb-2019 12:54                1634
0000004949-fe890df681e5adb04c1e5c2eb7bc518fb910..> 15-Feb-2019 12:54                1445
0000004975-592c1b83e432ae1557857d3fcbfa21511539..> 15-Feb-2019 12:54                1860
0000005017-3a011ae5a0a7a982baf817c2eba9890f6eb6..> 15-Feb-2019 12:54                1724
0000005707-5591b170844a59d0bf63f1219a98d35a33d9..> 15-Feb-2019 12:54                1938
0000005787-195866301690ebb0cdfc94bd9c06a83543a5..> 15-Feb-2019 12:54                1590
0000005882-306e274a9194df72a9ef7d5d67a429b3f178..> 15-Feb-2019 12:54                1885
0000005929-b8e0d1c54ea5a3a523c62392aa589572a14f..> 15-Feb-2019 12:54                1958
0000005966-49213bd57e7fa22129df410af55cabc1fcd7..> 15-Feb-2019 12:54                1993
0000006014-9d1d487fdd8fe242cbe481773faec79d6664..> 15-Feb-2019 12:54                1881
0000006049-0f46f0346927924cb32f4ccc0915fb936370..> 15-Feb-2019 12:54                1936
0000006131-643186ccfd4159ade526094fce7c1eb929ab..> 15-Feb-2019 12:54                1713
0000006156-166576cb1b1b39b81e1d33b10bcbcb83d369..> 15-Feb-2019 12:54                1949
0000006298-75ad218d3e1d5d52126a4f03f0b0749099aa..> 15-Feb-2019 12:54                1968
0000006357-80e21c5331c55dc6d7b2f32b99dd76a2dd80..> 15-Feb-2019 12:54                1786
0000006517-d065fecefdd3f924b18a30245f4373764259..> 15-Feb-2019 12:54                2637
0000006976-63f0b67c577882c922d7b5e51f5e07a180c3..> 15-Feb-2019 12:54                1659
0000007094-9060740ada9d9bb14156b064868045e2afae..> 15-Feb-2019 12:54                2424
0000007452-a4836808ac68b1e56f5d861d3cb2215c80ed..> 15-Feb-2019 12:54                2548
0000008584-8b23fb4512e4b713e35d291679dd8692b4b6..> 15-Feb-2019 12:54                2499
0000008926-2c5f4ac1a1dbb6fff1ed0d02cd7d8f3887df..> 15-Feb-2019 12:54                2876
0000009287-fe4b37888df37c746a7dec8d7c9c9f5b6cd7..> 15-Feb-2019 12:54                3094
0000009363-3bc3cc2117e7e658c3b30c6b63b8e606704e..> 15-Feb-2019 12:54                2821
0000009884-683d39973a326985018c6e49546a075f8463..> 15-Feb-2019 12:54                3288
0000009971-4bb090048607e12145bd5c8b1e191b07bdea..> 15-Feb-2019 12:54                3674
0000010063-79175f0395caa072d24ba6565e6ea866373f..> 15-Feb-2019 12:54                3147
0000010226-6ed36dded39d73b2a01981196d556d869f76..> 15-Feb-2019 12:54                3014
0000012267-afa2c8269379fc8bd3b6d23eab6dc5a0ced5..> 15-Feb-2019 12:54                4260
0000015141-1b2a52c107a2a9abb36eed406b9d379d73b3..> 15-Feb-2019 12:54                4304
0000017394-3f496a48ca0bd6910ab8aeb68be240a84f84..> 15-Feb-2019 12:54                5110
0000022389-b338c20637b29cc43b004699dd844099a708..> 15-Feb-2019 12:54                7004
0000132864-d875afdef187574703ca845c132ea22a1fbe..> 15-Feb-2019 12:54               36671
pending                                            15-Feb-2019 12:54                   4
pending.tentative                                  15-Feb-2019 12:54                   4