Index of /darcs/formula/_darcs/patches/


../
0000000163-b455564682684139507285044bb79d3d2db4..> 10-Jul-2014 16:19                 156
0000000183-9da152f52bad5062c71701966c10449c7ab7..> 11-Apr-2014 16:45                 175
0000000184-41a7922588eb91813d7813f15576c663fd81..> 15-Nov-2013 16:40                 176
0000000184-8b159613d302e4224b10da5a5d5ae62ce4c8..> 19-Feb-2014 14:32                 171
0000000195-32cdefc890dfa40d245309aed1dea40b6f61..> 06-Mar-2014 17:51                 180
0000000196-c16dbe2aa89e0a9255389288edc00dfb4abd..> 15-Nov-2013 14:26                 181
0000000253-ebe68fcf734c041d5856c4462c786c64c876..> 26-Apr-2014 16:03                 207
0000000254-b939cd7c904eb6f5413deb92e030fbc7e872..> 15-Nov-2013 14:26                 207
0000000259-e9cbe3823ed77871d3965d21e0d66d2eeefc..> 06-Mar-2014 17:51                 213
0000000279-1e12d77e304f06ba148444a3fe06a3c23aef..> 09-Nov-2013 14:08                 218
0000000329-56a771c6bb0d045d475fce43cdf60d182c4d..> 11-Apr-2014 16:22                 232
0000000329-6d27d86842b065512ad2f3a7f4cc6302f930..> 10-Jul-2014 16:19                 211
0000000340-4a486b8755afbe2ea6182b6a5a17858f67c2..> 09-Nov-2013 13:47                 243
0000000349-8c0842061dadbcba24ec02aa0acf06693af4..> 15-Nov-2013 14:26                 248
0000000350-34a18574746e020312c2e0aecd83ade860c9..> 11-Apr-2014 16:21                 241
0000000361-d97c70d62fbfa726e8010ec4431a94ad67c1..> 09-Nov-2013 13:47                 253
0000000411-e60a8ccb9399aa4cc9cb2d580a4bbba52b58..> 09-Nov-2013 23:56                 255
0000000424-582a5c6d8c52c670e72cab93030e1204988c..> 23-Oct-2014 15:09                 252
0000000438-be6ff223dbadbb2662c60e13fb454e790086..> 06-Mar-2014 17:51                 238
0000000469-dc8755d89a509c0507b336eefab14ab2fdff..> 09-Nov-2013 13:47                 281
0000000473-308e9ee87d565581aa9c8504eef6478e74fa..> 26-Apr-2014 16:03                 297
0000000478-ce808ae493ceb23cbd51ca5e1bc0f6374873..> 11-Apr-2014 16:21                 314
0000000497-53c70068928d367fbff6b8a76f9509efeb0e..> 19-Feb-2014 14:32                 291
0000000616-654dcb0036910746d9f98b4552ee8ee802c0..> 09-Nov-2013 13:47                 311
0000000621-b3d86f8415351e624754ad3e41520b1bdd8a..> 19-Feb-2014 14:32                 342
0000000628-8a0b953b08b68f35a90395b3c5852e3dfaa2..> 06-Mar-2014 17:51                 285
0000000692-77c10540fcffd04215a00a5375b2f7701274..> 09-Nov-2013 13:47                 314
0000000770-d69f1a0ef52301458bcde972687be6507c31..> 11-Apr-2014 14:42                 445
0000000784-3fc082b85cdde7330fc91e2497bd513cc44d..> 19-Feb-2014 14:37                 389
0000000981-9ba661d0dcf9c8c952be0c3330ddd421a32f..> 15-Nov-2013 16:40                 315
0000000998-49666f627cce5495bd59d4e084262c222ce5..> 18-Sep-2014 10:45                 270
0000001025-d03c0da04cbd5ff23af8a02015e45f8ad03d..> 09-Nov-2013 14:08                 327
0000001052-e1600b7ec55b5d617dbc089e2b439cc64a7d..> 09-Nov-2013 13:47                 451
0000001101-5427e0054574341945f2caba6f90da8e9e1b..> 11-Apr-2014 16:21                 519
0000001133-9068a2415ff4a4196a1a3337c6d0a6cea151..> 10-Jul-2014 16:19                 478
0000001174-9d581862815e247156ca0612e766f8f87c4a..> 10-Nov-2013 00:09                 486
0000001197-b4136eb1fb87838037938efaa216fd658b09..> 09-Nov-2013 13:47                 402
0000001233-574fbcebd5db315e3a25a4a816ffd78e62c8..> 09-Nov-2013 13:47                 463
0000001252-2a87c98699dfdc523372fddfcf30a286a950..> 10-Nov-2013 00:09                 477
0000001255-3b4908ded2bb688083a54cd4f46bf3e51573..> 09-Nov-2013 13:47                 473
0000001355-7c2045d02122d4ec7edc8e68ad015e39f937..> 09-Nov-2013 23:56                 596
0000001387-8878f87f70d954ed563ceb890959c393f7e8..> 09-Nov-2013 14:08                 409
0000001435-8f4631d248960ec355a1766c8ab6d48405db..> 06-Mar-2014 17:51                 548
0000001454-11f108e4ca412b8f499d3b7c3154e9ae043a..> 11-Apr-2014 16:42                 517
0000001476-3560b04da7a10a4596250e0ff1689c131810..> 15-Nov-2013 16:40                 366
0000001497-d5fbfb69501810d70c7fe546453ad6f4ca37..> 09-Nov-2013 13:47                 590
0000001571-5c544e9fb315d3af8b0680873935f5fcc74e..> 19-Feb-2014 14:32                 541
0000001622-54917b449cf886566fea833a9b21ce731d2d..> 09-Nov-2013 13:47                 648
0000001636-542ed366e3b85986975a24db04b7295e581b..> 27-Apr-2014 15:08                 724
0000001675-bc02b88970d1b3328e6500a67c10d8eb4175..> 15-Nov-2013 16:40                 639
0000001700-8989be39df39604f8b79616f764a130cf939..> 10-Nov-2013 00:09                 581
0000001861-9fa182870a3cadce098c706b0a229ba939b9..> 10-Jul-2014 16:19                 831
0000002072-95b3cc6d52a6b0981fc797a712f85ea95d5e..> 09-Nov-2013 23:56                 662
0000002168-6518fdc965fa356115d403ae071eeaf20d27..> 26-Apr-2014 16:03                 731
0000002750-2b155e672848574cdf65563e10faca58c65e..> 27-Apr-2014 11:59                 876
0000002791-07f65e66af2b0f7427ed024d62ba4dc725aa..> 10-Nov-2013 00:11                1458
0000002832-e745dcbbf1231d545f454e70201f9961a57c..> 11-Apr-2014 14:42                 992
0000002929-04c30ab52244f07f77ca60bfe89d42509f4a..> 15-Nov-2013 14:26                 897
0000002987-15b5791644cdb6de70893901924327e9c47b..> 09-Nov-2013 13:47                1002
0000003238-745c69b6169627a55ba605d4167b9215a755..> 06-Mar-2014 17:51                1165
0000003604-1cd29f9506480922e54bb06eeafc4845db2b..> 09-Nov-2013 13:47                 867
0000003813-5351a485342922051951eb20d4e4ae9c2e2c..> 21-Nov-2013 22:10                1134
0000004089-d91daf0d1699c66b08691cce6cbb8796f621..> 19-Feb-2014 14:32                1298
0000004723-0a8a9b2803b319f04f95c3edcdd7be7e1932..> 09-Nov-2013 13:47                1289
0000005219-923f9362c4da5d53307055e23e008522ab2a..> 18-Sep-2014 10:45                1635
0000005820-99d77e6b18ef2afe7f18b1ee51464ad81b71..> 09-Nov-2013 13:47                1019
0000005998-f7591c2e08cee787d187e679a07aa949527a..> 31-Dec-2013 16:17                1176
0000006552-96ed48ba23d8ebe871030524d9c4269dcf3f..> 11-Apr-2014 16:42                1287
0000021018-7a5f631ab1e7eac44b4171edb84f5e47d6e8..> 09-Nov-2013 23:56                3148
0000022025-c86b0db223810bb25a3416077c53c1c16690..> 23-Oct-2014 15:09                5502
0000214777-43747a45e2d0ab9663dcd9ca5e0403d8a996..> 10-Jul-2014 16:19               42955
pending                                            23-Oct-2014 15:09                   4
pending.tentative                                  16-Dec-2021 11:01                   4